Conditional Probabilities over Probabilistic and Nondeterministic Systems
No abstract available.
Related papers
- noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning OOPSLA 2026
- Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice POPL 2023
- Runtime Monitors for Markov Decision Processes CAV 2021
- Lilac: A Modal Separation Logic for Conditional Probability PLDI 2023
- A trustful monad for axiomatic reasoning with probability and nondeterminism JFP 2021
- Efficient Probabilistic Model Checking for Relational Reachability CAV 2025
- SPPL: probabilistic programming with fast exact symbolic inference PLDI 2021
- Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions OOPSLA 2024