The two papers “Verifying Sampling Algorithms via Distributional Invariants” by Kevin Batz (University College London), Joost-Pieter Katoen, Tobias Winkler and Daniel Zilken and “Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops” by Kevin Batz (University College London), Adrian Gallus, Darion Haase, Benjamin Kaminski (Saarland University and University College London), Joost-Pieter Katoen, Lutz Klinkenberg […]