Approximate Probabilistic Model Checking
Abstract elided by the publisher.
Related papers
- STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis CAV 2019
- PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP CAV 2022
- Bit-Vector Model Counting Using Statistical Estimation TACAS 2018
- Continualization of Probabilistic Programs With Correction ESOP 2020
- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games CAV 2019
- Approximate Relational Reasoning for Higher-Order Probabilistic Programs POPL 2025
- Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures POPL 2024
- Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes TACAS 1995