Similar Items: 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
- Value Functions for Temporal Logic: Optimal Policies and Safety Filters
- Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles