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
moves-rwth/storm-1.6.3.zip
md5:52e6d55955dac6e6f62420d9a7aed76e
12.2 MB Download
159
148
views
downloads
All versions This version
Views 15919
Downloads 148109
Data volume 2.0 GB1.3 GB
Unique views 11218
Unique downloads 7754

Share

Cite as