Similar Items: Deciding the value 1 problem for probabilistic leaktight automata
- The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)
- Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
- Refinement and Difference for Probabilistic Automata
- Decidability Results for the Boundedness Problem
- Decidability Problems for Actor Systems
- High-level Counterexamples for Probabilistic Automata