Error Control for Probabilistic Model Checking
No abstract available.
Related papers
- Correct Probabilistic Model Checking with Floating-Point Arithmetic TACAS 2022
- Efficient Probabilistic Model Checking for Relational Reachability CAV 2025
- Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation POPL 2026
- Out of Control: Reducing Probabilistic Models by Control-State Elimination VMCAI 2022
- Probabilistic CTL*: The Deductive Way TACAS 2016
- Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations CAV 2021
- Advances in Probabilistic Model Checking VMCAI 2010
- Counterexamples in Probabilistic Model Checking TACAS 2007