Software Open Access

moves-rwth/storm: v1.6.3

Christian Hensel; Tim Quatmann; Sebastian Junges; Matthias Volk; P. Berger; Gereon Kremer; jipspel; AlexanderBork; David; Timo P. Gros; Tom Janson; Jan Karuc; looomis; Joachim Klein; Daniel Basgöze; Sascha Vincent Kurowski; Florent Delgrange; spacefrogg; Arash Partow; Dimitri Bohlender; Enno Ruijters

  • Added support for multi-objective model checking of long-run average objectives including mixtures with other kinds of objectives.
  • Added support for generating optimal schedulers for globally formulae
  • Simulator supports exact arithmetic
  • Added switch --no-simplify to disable simplification of PRISM programs (which sometimes costs a bit of time on extremely large inputs)
  • Fixed issues with JANI inputs concerning
    • transient variable expressions in properties,
    • constants in properties, and
    • integer variables with either only an upper or only a lower bound.
  • storm-pomdp: States can be labelled with values for observable predicates
  • storm-pomdp: (Only API) Track state estimates
  • storm-pomdp: (Only API) Reduce computation of state estimates to computation on unrolled MDP

Files (12.2 MB)
Name Size
12.2 MB Download
All versions This version
Views 15919
Downloads 148109
Data volume 2.0 GB1.3 GB
Unique views 11218
Unique downloads 7754


Cite as