Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
Abstract elided by the publisher.
Related papers
- Faster Algorithms for Markov Decision Processes with Low Treewidth CAV 2013
- CEGAR for Qualitative Analysis of Probabilistic Systems CAV 2014
- Value Iteration for Long-Run Average Reward in Markov Decision Processes CAV 2017
- GPU-accelerated fixpoint algorithms for faster compiler analyses CC 2019
- Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation CAV 1996
- Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning TACAS 2020
- Efficient Probabilistic Model Checking for Relational Reachability CAV 2025
- Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT ESOP 2026