Monte Carlo Model Checking
Abstract elided by the publisher.
Related papers
- Compiling Markov chain Monte Carlo algorithms for probabilistic modeling PLDI 2017
- LazyHMC: Hamiltonian Monte Carlo Simulation for Lazy, Infinite Dimensional Probabilistic Programs ICFP 2026
- A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints CAV 2009
- Comparing Id and Haskell in a Monte Carlo Photon Transport Code JFP 1995
- An abstract Monte-Carlo method for the analysis of probabilistic programs POPL 2001
- MCALIB: Measuring Sensitivity to Rounding Error with Monte Carlo Programming TOPLAS 2015
- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages ESOP 2021
- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness CAV 2021