Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds
Abstract elided by the publisher.
Related papers
- Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition CAV 2022
- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach CAV 2019
- Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata CAV 2025
- Simulations in Rank-Based Büchi Automata Complementation APLAS 2019
- Deterministic Automata for the (F, G)-Fragment of LTL CAV 2012
- LTL to Büchi Automata Translation: Fast and More Deterministic TACAS 2012
- Modular Mix-and-Match Complementation of Büchi Automata TACAS 2023
- Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning TACAS 2020