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

Storm 1.9.0 comes with support for expected visiting times, interval-based models and robust value iteration. The stormpy Python bindings are also released in a new version compatible with Storm 1.9.0.

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 either by building from source, via Homebrew or by using a Docker container.

If you experience any bugs, please let us know.