stormchecker/stormpy: v1.13.0

Zenodo (CERN European Organization for Nuclear Research)

Abstract

Requires Storm version >= 1.13.0. Repository moved to stormchecker/stormpy Support for exact intervals in sparse models, matrices, schedulers, model components, model checking, DRN build/export, and the Kwek-Mehlhorn sharpening utility Added bindings for monitor verification Added bindings for conditional model checking Added add_next_values method on SparseMatrix for faster build from numpy arrays Adaption to changes in Storm: Scheduler for ExplicitQualitativeCheckResult Added ObservationTraceUnfolderOptions Bugfixes for release workflow and rpath Developer: added git_hash Developer: revised CI workflows w.r.t. OS configurations, Storm version, Docker login Developer: improved CI for wheel creation Developer: simplified Dockerfile for Binder

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