Skip to content

v1.6.2
Compare
Choose a tag to compare
@tquatmann tquatmann released this 04 Sep 12:59
· 1644 commits to master since this release
1.6.2
f91c0de
  • 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.
Assets 2
Loading