Similar Items: Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
- On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
- Shields to Guarantee Probabilistic Safety in MDPs
- Evidence-Tracked Tape Semantics for Probabilistic Computation
- Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
- Efficient Incremental #SAT via Cross-Instance Knowledge Reuse