Similar Items: Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
- Residuality and Learning for Nondeterministic Nominal Automata
- From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
- Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
- SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
- Efficient reduction of nondeterministic automata with application to language inclusion testing
- Coalgebraic Semantics for Probabilistic Logic Programming