Language Equivalence for Probabilistic Automata
No abstract available.
Related papers
- Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning TACAS 2020
- 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
- Model Checking Probabilistic Timed Automata with One or Two Clocks TACAS 2007
- The Quest for Minimal Quotients for Probabilistic Automata TACAS 2013
- Abstract Probabilistic Automata VMCAI 2011