stormchecker/stormpy: v1.13.1

Zenodo (CERN European Organization for Nuclear Research)

Abstract

Requires Storm version >= 1.13.0. Support for weighted objective model checking and reversing the obtained scheduler to a scheduler on the original model Added bindings for importing and exporting the UMB format Support transformations for subsystems and ECs with exact/interval transitions Support for creating Storm rational numbers from fractions.Fraction Developer: formatted C++ code via clang-format Developer: migrated from py::enum_ to py::native_enum, the string representation is provided via friendly_name() Developer: made includes consistent

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