@volkm volkm released this Dec 11, 2017 · 166 commits to master since this release

Assets 2

Requires Storm version >= 1.2.0 and pycarl version >= 2.0.2

  • Adaptions to changes in Storm
  • Bindings for simplification of parametric models
  • Handling of rewards
  • Building of model with all labels if no formula is given
  • Support for submatrix()
  • Extended documentation
  • Extended build script