The following pages link to Playing Safe (Q2978529):
Displaying 16 items.
- Down the Borel hierarchy: solving Muller games via safety games (Q477197) (← links)
- Learning of winning strategies for terminal games with linear-size memory (Q532661) (← links)
- Safety without stuttering (Q1089789) (← links)
- Protective and prudent behaviour in games (Q1381967) (← links)
- Safe probability (Q1698993) (← links)
- Finite-state strategies in delay games (Q2182729) (← links)
- (Q3384169) (← links)
- (Q4829280) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898624) (← links)
- (Q6134270) (← links)
- Playing Safe, Ten Years Later (Q6151559) (← links)
- Infinite separation between general and chromatic memory (Q6547948) (← 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)
- Characterizing positionality in games of infinite duration over infinite graphs (Q6649452) (← links)