Abstract Probabilistic Automata
Abstract elided by the publisher.
Related papers
- POPACheck: A Model Checker for Probabilistic Pushdown Automata CAV 2025
- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration TACAS 2023
- Probabilistic Automata for Safety LTL Specifications VMCAI 2014
- Limit Deterministic and Probabilistic Automata for LTL ∖ GU TACAS 2015
- Probabilistic Duration Automata for Analyzing Real-Time Systems TACAS 1996
- Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds VMCAI 2011
- Language Equivalence for Probabilistic Automata CAV 2011
- Model Checking Probabilistic Timed Automata with One or Two Clocks TACAS 2007