Skip to content

v1.6.0
Compare
Choose a tag to compare
@volkm volkm released this 08 Jun 14:58
· 469 commits to master since this release
1.6.0
45d8d97

Requires Storm version >= 1.6.0 and pycarl version >= 2.0.4

  • Adaptions to changes in Storm: most notably state valuations
  • Support for GSPNs: parsing, exploring, building
  • Support for matrix building
  • Extended expression operators with {conjunction, disjunction}
  • Added information collector to extract information from jani models
  • Bindings for elimination of chains of non-Markovian states
Assets 2
Loading