Pages that link to "Item:Q5090979"

The following pages link to Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions (Q5090979):

Displaying 10 items.

• Timed games with bounded window parity objectives (Q2112117) (← links)
• (Q5089289) (← links)
• Synthesis for Multi-weighted Games with Branching-Time Winning Conditions (Q5100749) (← links)
• (Q5875369) (← links)
• (Q6134270) (← links)
• Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs (Q6566586) (← links)
• Characterizing positionality in games of Infinite duration over infinite graphs (Q6566588) (← links)
• Half-positional objectives recognized by deterministic Büchi automata (Q6597970) (← links)
• Different strokes in randomised strategies: revisiting Kuhn's theorem under finite-memory assumptions (Q6647764) (← links)
• Characterizing positionality in games of infinite duration over infinite graphs (Q6649452) (← links)