Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Abstract elided by the publisher.
Related papers
- Statistical Model Checking of Black-Box Probabilistic Systems CAV 2004
- Quantum Probabilistic Model Checking for Time-Bounded Properties OOPSLA 2024
- Bridging the semantic gap between qualitative and quantitative models of distributed systems OOPSLA 2022
- Sound Statistical Model Checking for Probabilities and Expected Rewards TACAS 2025
- PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP CAV 2022
- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games CAV 2019
- Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing ESOP 2023
- Bit-Vector Model Counting Using Statistical Estimation TACAS 2018