There is a newer version of the record available.

Published November 24, 2020 | Version 1.6.3
Software Open

moves-rwth/storm: v1.6.3

Creators

  • 1. @moves-rwth
  • 2. UC Berkeley
  • 3. RWTH Aachen University @moves-rwth
  • 4. RWTH Aachen University
  • 5. Saarland University
  • 6. @lancomsystems
  • 7. Ex TU Dresden, Germany
  • 8. Amazon Europe (@amzn)
  • 9. AI Lab, Vrije Universiteit Brussel
  • 10. Embedded Software, RWTH Aachen University
  • 11. University of Twente

Description

  • 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

moves-rwth/storm-1.6.3.zip

Files (12.2 MB)

Name Size Download all
md5:52e6d55955dac6e6f62420d9a7aed76e
12.2 MB Preview Download

Additional details

Related works

Is supplement to
https://github.com/moves-rwth/storm/tree/1.6.3 (URL)