Termination of Nondeterministic Probabilistic Programs
No abstract available.
Related papers
- Termination Analysis of Probabilistic Programs Through Positivstellensatz's CAV 2016
- Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice POPL 2023
- Positive Almost-Sure Termination: Complexity and Proof Rules POPL 2024
- Conditional Probabilities over Probabilistic and Nondeterministic Systems TACAS 2008
- Cost analysis of nondeterministic probabilistic programs PLDI 2019
- Algorithmic analysis of termination problems for quantum programs POPL 2018
- A Demonic Outcome Logic for Randomized Nondeterminism POPL 2025
- Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers OOPSLA 2024