Similar Items: Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
- Shields to Guarantee Probabilistic Safety in MDPs
- On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
- Fast Obligation Translation and Synthesis
- A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
- Computing Witnesses Using the SCAN Algorithm
- Evidence-Tracked Tape Semantics for Probabilistic Computation