Playing Safe
From MaRDI portal
Recommendations
Cited in
(21)- Safety without stuttering
- Learning of winning strategies for terminal games with linear-size memory
- Positional -regular languages
- Characterizing positionality in games of Infinite duration over infinite graphs
- Protective and prudent behaviour in games
- Playing Safe, Ten Years Later
- Characterising memory in infinite games
- Half-positional objectives recognized by deterministic Büchi automata
- scientific article; zbMATH DE number 2119993 (Why is no real title available?)
- Permissive strategies: from parity games to safety games
- Positional \(\omega\)-regular languages
- Down the Borel hierarchy: solving Muller games via safety games
- Characterizing positionality in games of infinite duration over infinite graphs
- Trading bounds for memory in games with counters
- Finite-state strategies in delay games
- Finite-state strategies in delay games
- Safe probability
- Small strategies for safety games
- Verification, Model Checking, and Abstract Interpretation
- Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs
- Infinite separation between general and chromatic memory
This page was built for publication: Playing Safe
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2978529)
