Similar Items: Parity and Streett Games with Costs
- Improved Algorithms for Parity and Streett objectives
- From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
- Parity Games with Weights
- Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
- Timed Parity Games: Complexity and Robustness
- Stochastic Parity Games on Lossy Channel Systems