Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops: Artifact

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text

Authors: Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

DOI: 10.5281/zenodo.18184810

Cited by: 1

Publication details