Similar Items: The Theory of Universal Graphs for Infinite Duration Games
- Determinacy in Discrete-Bidding Infinite-Duration Games
- Infinite and Bi-infinite Words with Decidable Monadic Theories
- Characterising memory in infinite games
- Degrees of Lookahead in Regular Infinite Games
- Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
- Positional Determinacy of Games with Infinitely Many Priorities