A Storm is Coming: A Modern Probabilistic Model Checker.

Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk

Browse the full CAV paper archive.