Post on version 1.9.0 (#6)

_posts/2024-08-23-version.1.9.0.md

@@ -0,0 +1,19 @@
+---
+layout: post
+title:  "New version 1.9.0"
+date:   2024-08-23 20:00:00 +0100
+tags: ['new version']
+---
+
+We are happy to announce the next releases of Storm and stormpy in version 1.9.0.
+<!--more-->
+
+Storm 1.9.0 comes with support for expected visiting times, interval-based models and robust value iteration.
+The [stormpy](https://moves-rwth.github.io/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](https://github.com/moves-rwth/storm/releases/tag/1.9.0) and the [release notes of stormpy](https://github.com/moves-rwth/stormpy/releases/tag/1.9.0).
+
+
+You can get the new release of Storm either by building from [source]({{ '/documentation/obtain-storm/build.html' | relative_url }}), via [Homebrew]({{ '/documentation/obtain-storm/homebrew.html' | relative_url }}) or by using a [Docker container]({{ '/documentation/obtain-storm/docker.html' | relative_url }}).
+
+If you experience any bugs, please [let us know]({{ '/documentation/obtain-storm/troubleshooting.html#file-an-issue' | relative_url }}).