The Quest for Minimal Quotients for Probabilistic Automata
Abstract elided by the publisher.
Related papers
- Fast Coalgebraic Bisimilarity Minimization POPL 2023
- Reduction of Nondeterministic Tree Automata TACAS 2016
- Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach TOPLAS 1997
- 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