Coupling and Importance Sampling for Statistical Model Checking
Abstract elided by the publisher.
Related papers
- Semantic Importance Sampling for Statistical Model Checking TACAS 2015
- Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking CAV 2012
- STMC: Statistical Model Checker with Stratified and Antithetic Sampling CAV 2020
- Importance Splitting for Statistical Model Checking Rare Properties CAV 2013
- Simple Profile Rectifications Go a Long Way - Statistically Exploring and Alleviating the Effects of Sampling Errors for Program Optimizations ECOOP 2013
- Assessing the Quality of Binomial Samplers: A Statistical Distance Framework CAV 2025
- Quantum Probabilistic Model Checking for Time-Bounded Properties OOPSLA 2024
- Combining phase identification and statistic modeling for automated parallel benchmark generation PPoPP 2015