Semantic Importance Sampling for Statistical Model Checking
Abstract elided by the publisher.
Related papers
- Coupling and Importance Sampling for Statistical Model Checking TACAS 2012
- 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
- A domain theory for statistical probabilistic programming POPL 2019
- Assessing the Quality of Binomial Samplers: A Statistical Distance Framework CAV 2025
- Paradoxes of probabilistic programming: and how to condition on events of measure zero with infinitesimal probabilities POPL 2021