Probabilistic Program Analysis with Martingales
No abstract available.
Related papers
- Synthesizing Probabilistic Invariants via Doob's Decomposition CAV 2016
- Quantitative Bounds on Resource Usage of Probabilistic Programs OOPSLA 2024
- Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time POPL 2020
- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs CAV 2022
- A Formalization of Doob's Martingale Convergence Theorems in mathlib CPP 2023
- Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops ESOP 2026
- Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments TACAS 2019
- Probabilistic CTL*: The Deductive Way TACAS 2016