activity
20172026
most citedAccurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains

2 citations · 5 across the 10 of their papers we have counts for

collaborators
Showing cs.SEShow all

2 papers · 1 filter

cs.SE2026

Probabilistic Model Checking Taken by Storm

Matthias Volk, Linus Heck, Sebastian Junges +2

This tutorial paper presents a hands-on perspective on probabilistic model checking with the Storm model checker. Storm is a decade-old model checker that excels in performance and…

cs.SE2020

The Probabilistic Model Checker Storm

Christian Hensel, Sebastian Junges, Joost-Pieter Katoen +2

We present the probabilistic model checker Storm. Storm supports the analysis of discrete- and continuous-time variants of both Markov chains and Markov decision processes. Storm h…