Similar Items: First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
- Shields to Guarantee Probabilistic Safety in MDPs
- Evidence-Tracked Tape Semantics for Probabilistic Computation
- Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
- On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
- Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
- Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families