Measuring and Synthesizing Systems in Probabilistic Environments
No abstract available.
Related papers
- Gist: A Solver for Probabilistic Games CAV 2010
- Synthesizing Java expressions from free-form queries OOPSLA 2015
- Reactive probabilistic programming PLDI 2020
- Synthesizing Quantum-Circuit Optimizers PLDI 2023
- Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities TACAS 2016
- Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming POPL 2018
- Paradoxes of probabilistic programming: and how to condition on events of measure zero with infinitesimal probabilities POPL 2021
- Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops ESOP 2026