scientific article; zbMATH DE number 7340147

zbMATH Open1469.91015MaRDI QIDQ4986513FDOQ4986513

Authors Daniel Neider, Roman Rabinovich, Martín G. Zimmermann 

Publication date 27 April 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2012.13

Mathematics Subject Classification ID

Formal languages and automata (68Q45) 2-person games (91A05) Specification and verification (program logics, model checking, etc.) (68Q60) Games involving graphs (91A43)

Recommendations

• Down the Borel hierarchy: solving Muller games via safety games
• Finite level Borel games and a problem concerning the jump hierarchy
• Game-theoretical aspects of the Borel conjecture
• Optimally Resilient Strategies in Pushdown Safety Games
• Borel determinacy of concurrent games
• On equilibria in quantitative games with reachability/safety objectives
• The complexity of stochastic Müller games
• A note on the Nash equilibria of some multi-player reachability/safety games
• \(\mu\)-\(\sigma\) games
• scientific article; zbMATH DE number 7204389

Cited in

(6)

• Playing Muller games in a hurry
• Playing Muller games in a hurry
• What kind of memory is needed to win infinitary Muller games?
• Quantitative reductions and vertex-ranked infinite games
• Computer Science Logic
• Down the Borel hierarchy: solving Muller games via safety games

This page was built for publication:

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