Skip to content

v1.4.1
Compare
Choose a tag to compare
@sjunges sjunges released this 18 Dec 14:59
· 579 commits to master since this release
1.4.1
5ebb83b

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

  • Adaptions to changes in Storm
  • Extended simple accessors such as parse_properties, model_checking, to handle variety of inputs.
  • Added and extended environments
  • Changed constructor of ParameterRegion to take a valuation instead of string.
    Use ParameterRegion.create_from_string() to create a region from string.
  • Added InstantiationModelChecker for pMDPs and allow instations with rational numbers
  • Added transformation of CTMCs to DTMCs
  • Further bindings for Prism Programs and their preprocessing
  • SettingsManager updated
  • Allow building models annotated with valuations
  • A custom state exploration that allows to explore successor states of a prism program
  • Extended documentation, in particular examples.
  • Fix for compilation with Xcode 11
Assets 2
Loading