http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops

Haase, Darion (Corresponding author)^RWTH* ; Batz, Kevin ; Gallus, Adrian ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter^RWTH* ; Klinkenberg, Lutz^RWTH* ; Winkler, Tobias^RWTH*

In
Programming languages and systems : 35th European Symposium on Programming, ESOP 2026 : held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026 : proceedings, part I / Robbert Krebbers, editor, Seiten/Artikel-Nr: 314-343

2026

Konferenz/Event:35. European Symposium on Programming , Turin , Italy , ESOP 2026 , 2026-04-14 - 2026-04-16

Konferenz/Event:29. International Joint Conferences on Theory and Practice of Software , Turin , Italy , ETAPS 2026 , 2026-04-11 - 2026-04-16

ImpressumCham : Springer

Umfang314-343

ISBN978-3-032-22719-5, 978-3-032-22720-1, 978-3-032-22721-8

ReiheLecture notes in computer science ; 16501, Advanced Research in Computing and Software Science

Online
DOI: 10.1007/978-3-032-22720-1_12
10.1007/978-3-032-22720-1_12
DOI: 10.18154/RWTH-2026-09820
URL: https://publications.rwth-aachen.de/record/1044802/files/1044802.pdf

Einrichtungen

1. Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)
2. Graduiertenkolleg UnRAVeL (080060)

Projekte

1. G:(EU-Grant) 101158076 - VERIPROB: a deductive verifier for probabilistic programs (101158076) (101158076)

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-105037466340

Interne Identnummern
RWTH-2026-09820
Datensatz-ID: 1044802

Beteiligte Länder
Germany, UK, USA