@volkm volkm released this Dec 8, 2018 · 1 commit to master since this release

Assets 2
  • 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