v1.3.0

• 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