How to win first-order safety games

DOI10.1007/978-3-030-39322-9_20MaRDI QIDQ784157zbMATH OpenOpenAlexFDO

Authors D. Kharzeev

Publication date 5 August 2020

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

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)

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

Cited in

(2)

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

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)