A Markov Chain Model Checker
Abstract elided by the publisher.
Related papers
- QReach: A Reachability Analysis Tool for Quantum Markov Chains CAV 2024
- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference CAV 2021
- Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains TACAS 2024
- A Storm is Coming: A Modern Probabilistic Model Checker CAV 2017
- Model Checking Interactive Markov Chains TACAS 2010
- Model Checking Infinite-State Markov Chains TACAS 2005
- LTL Model Checking of Interval Markov Chains TACAS 2013
- Model-Checking Markov Chains in the Presence of Uncertainties TACAS 2006