On Statistical Model Checking of Stochastic Systems
Abstract elided by the publisher.
Related papers
- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games CAV 2019
- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models TACAS 2018
- Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking CAV 2013
- Statistical Model Checking of Black-Box Probabilistic Systems CAV 2004
- Time for Statistical Model Checking of Real-Time Systems CAV 2011
- STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking VMCAI 2022
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026
- FIG: The Finite Improbability Generator TACAS 2020