Published December 8, 2018
| Version 1.3.0
Software
Open
moves-rwth/storm: v1.3.0
Creators
- 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 parserstorm-gspn
: Added support for single/infinite/k-server semantics for GSPNs given in the .pnpro formatstorm-gspn
: Added option to set a global capacity for all placesstorm-gspn
: Added option to include a set of standard properties when converting GSPNs to janistorm-pars
: Added possibility to compute the extremal value within a given region using parameter liftingstorm-dft
: DFT translation to GSPN supports Don't Care propagationstorm-dft
: Support DFT analysis via transformation from DFT to GSPN to JANIstorm-dft
: Added SMT encoding for DFTsstorm-dft
: Improved Galileo and JSON parser- Several bug fixes
- Storm uses the
master14
branch of carl from now on
- 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
- Is supplement to
- https://github.com/moves-rwth/storm/tree/1.3.0 (URL)