How to win first-order safety games

DOI10.1007/978-3-030-39322-9_20OpenAlexW3004379279MaRDI QIDQ784157FDOQ784157

D. Kharzeev

Publication date: 5 August 2020

Full work available at URL: https://arxiv.org/abs/1908.05964

Recommendations

• Small strategies for safety games
• Optimally Resilient Strategies in Pushdown Safety Games
• Maximin safety: when failing to lose is preferable to trying to win
• Games for cautious players: the equilibrium in secure strategies
• Computing Weakest Strategies for Safety Games of Imperfect Information
• Permissive strategies: from parity games to safety games
• scientific article; zbMATH DE number 7204389

zbMATH Keywords

first order logicfirst order safety gamessecond order quantifier eliminationuniversal invariants

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• Prenex universal first-order safety properties
• Stratified guarded first-order transition systems

This page was built for publication: How to win first-order safety games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784157)