by Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen.
We provide a slightly extended version of the TACAS paper with the SMT encoding included. We reran the benchmarks based including the latest commits to storm. More information can be found in this document.
The models are available in the examples folder.
The implementation is part of PAYNT.