Pages that link to "Item:Q1276252"
From MaRDI portal
The following pages link to Infinite games on finitely coloured graphs with applications to automata on infinite trees (Q1276252):
Displaying 4 items.
- Symbolic solution of Emerson-Lei games for reactive synthesis (Q6629450) (← links)
- Different strokes in randomised strategies: revisiting Kuhn's theorem under finite-memory assumptions (Q6647764) (← links)
- Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms (Q6647769) (← links)
- Characterizing positionality in games of infinite duration over infinite graphs (Q6649452) (← links)