We are happy to announce the next stable releases of Storm and stormpy in version 1.6.0.

The new release of Storm uses Sylvan as the default Dd library and features a new export of schedulers in a .json format. In addition, the support for POMDPs in storm-pomdp was improved and extended significantly.

The Python bindings stormpy are also released in a new version which is compatible with the new Storm release. Stormpy now supports GSPNs, in particular building, parsing and exploring them. In addition, the new release offers bindings for building the transition matrix and state valuations.

For detailed information on all the changes, please check the release notes of Storm and the release notes of stormpy.

You can get the new release of Storm via your preferred installation option:

• building from source,
• via update with Homebrew on macOS:

  $ brew update
  $ brew upgrade stormchecker
  

• or by using a Docker container.

If you experience any bugs, please let us know.