/shepherd

Shepherding Hordes of Markov Chains

Shepherding Hordes of Markov Chains

by Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen.

Supplementary Material

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.

Models

The models are available in the examples folder.

Implementation

The implementation is part of PAYNT.