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

Zenodo (CERN European Organization for Nuclear Research)

Authors 7

1. Darion Haase Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

2. Kevin Batz
3. Adrian Gallus
4. Benjamin Lucien Kaminski Aachen

   University College London · RWTH Aachen University · Saarland University

   Affiliation as printed

   Saarland University

   University College London

   RWTH Aachen University

5. Joost-Pieter Katoen Aachen

   RWTH Aachen University · University of Twente

   Affiliation as printed

   University of Twente

   RWTH Aachen University

6. Lutz Klinkenberg Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

7. Tobias Winkler Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University