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

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

Browse the full ESOP paper archive.