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

Storm 1.8.0 provides revised implementations of value iteration algorithms and its variants, improved and novel algorithms for POMDPs as well as experimental support for compiling on Apple Silicon.

The Python bindings stormpy are also released in a new version which is compatible with the new Storm release.

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.