Published September 4, 2020
| Version 1.6.1
Software
Open
moves-rwth/storm: v1.6.1
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
- Prism program simplification improved.
- Revamped implementation of long-run-average algorithms, including scheduler export for LRA properties on Markov automata.
- Support for step-bounded properties of the form ... [F[x,y] ... ] for DTMCs and MDPs (sparse engine).
- Renamed portfolio engine to automatic
storm-dft
: Fix for relevant events when using symmetry reduction.storm-pomdp
: Fix for --transformsimple and --transformbinary when used with until formulae.storm-pomdp
: POMDPs can be parametric as well.
Files
moves-rwth/storm-1.6.1.zip
Files
(12.1 MB)
Name | Size | Download all |
---|---|---|
md5:74aa1f0f637811ce3db668893592b312
|
12.1 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/moves-rwth/storm/tree/1.6.1 (URL)