The following pages link to (Q4558784):
Displaying 5 items.
- Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems (Q2272985) (← links)
- Space-bounded probabilistic game automata (Q4302843) (← links)
- Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata (Q5317190) (← links)
- Game equivalence and expressive power of game description languages: a bisimulation approach (Q5878291) (← links)
- Countdown games, and simulation on (succinct) one-counter nets (Q5883735) (← links)