stormchecker/stormpy: v1.13.2

Zenodo (CERN European Organization for Nuclear Research)

Abstract

Requires Storm version >= 1.13.0. Developer: Fixes in CI builds of Python wheels

Authors 18

1. Matthias Volk

   Eindhoven University of Technology

   Affiliation as printed

   Eindhoven University of Technology

2. Sebastian Junges

   Radboud University Nijmegen

   Affiliation as printed

   Radboud University

3. Hannah
4. Tom Janson
5. Linus
6. Tim Quatmann Aachen @moves-rwth

   RWTH Aachen University

   Affiliation as printed

   @moves-rwth

7. Filip Macák
8. Philipp Schröer Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

9. Tobias Winkler
10. Gereon Kremer
11. luko van der maas
12. Daniel Basgöze
13. Alex Bork Aachen @moves-rwth

    RWTH Aachen University

    Affiliation as printed

    @moves-rwth

14. Lutz Klinkenberg
15. KevinBatz
16. Lisa Oakley
17. Maris Galesloot
18. Roman Andriushchenko