Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.

There is a newer version of the record available.

Published December 8, 2018 | Version 1.3.0
Software Open

moves-rwth/storm: v1.3.0

  • 1. RWTH Aachen University @moves-rwth
  • 2. RWTH Aachen University
  • 3. TU Dresden, Germany
  • 4. Amazon Europe (@amzn)
  • 5. University of Twente

Description

  • Slightly improved scheduler extraction
  • Environments are now part of the c++ API
  • Heavily extended JANI support, in particular:
    • arrays, functions, state-exit-rewards (all engines)
    • indexed assignments, complex reward expressions (sparse engine)
    • several jani-related bug fixes
  • New binary storm-conv that handles conversions between model files
  • New binary storm-pomdp that handles the translation of POMDPs to pMCs.
  • Maximal progress assumption is now applied while building Markov Automata (sparse engine).
  • Improved Unif+ implementation for Markov Automata, significantly reduced memory consumption.
  • Added support for expected time properties for discrete time models
  • Bug fix in the parser for DRN (MDPs and MAs might have been affected).
  • storm-gspn: Improved .pnpro parser
  • storm-gspn: Added support for single/infinite/k-server semantics for GSPNs given in the .pnpro format
  • storm-gspn: Added option to set a global capacity for all places
  • storm-gspn: Added option to include a set of standard properties when converting GSPNs to jani
  • storm-pars: Added possibility to compute the extremal value within a given region using parameter lifting
  • storm-dft: DFT translation to GSPN supports Don't Care propagation
  • storm-dft: Support DFT analysis via transformation from DFT to GSPN to JANI
  • storm-dft: Added SMT encoding for DFTs
  • storm-dft: Improved Galileo and JSON parser
  • Several bug fixes
  • Storm uses the master14 branch of carl from now on
Comparison with Version 1.2.0
  • Heavily extended JANI-support
  • New binary storm-conv that handles conversion between model files
  • New binary storm-pomdp that handles the translation of POMDPs to pMCs.
  • storm-gspn improved
  • Sound value iteration

Files

moves-rwth/storm-1.3.0.zip

Files (24.2 MB)

Name Size Download all
md5:a6202cf400d290ec69eb495b6245f544
24.2 MB Preview Download

Additional details

Related works