Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
- 21 October 2019
- book chapter
- Published by Springer Nature
- p. 255-276
Abstract
No abstract availableKeywords
All Related Versions
This publication has 26 references indexed in Scilit:
- Polynomial invariant generation for non-deterministic recursive programs2020
- Termination of Nondeterministic Probabilistic Programs2019
- How long, O Bayesian network, will I sample thee?2018
- Finding Polynomial Loop Invariants for Probabilistic Programs2017
- A Storm is Coming: A Modern Probabilistic Model Checker2017
- Synthesizing Probabilistic Invariants via Doob’s Decomposition2016
- PSI: Exact Symbolic Inference for Probabilistic Programs2016
- Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities2016
- Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation2015
- Expectation Invariants for Probabilistic Program Loops as Fixed Points2014