Playing pushdown parity games in a hurry

MaRDI QIDQ4986514zbMATHFDO

Authors Wladimir Fridman, Martín G. Zimmermann

Publication date 27 April 2021

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

Mathematics Subject Classification ID

Games involving graphs (91A43)

Recommendations

• Computer Science Logic
• Two-Way Tree Automata Solving Pushdown Games
• Infinite games played on finite graphs
• Formats of winning strategies for six types of pushdown games
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

Cited in

(6)

• Parity to safety in polynomial time for pushdown and collapsible pushdown systems
• Computer Science Logic
• Playing Muller games in a hurry
• Optimally Resilient Strategies in Pushdown Safety Games
• Playing Muller games in a hurry
• Down the Borel hierarchy: solving Muller games via safety games

This page was built for publication: Playing pushdown parity games in a hurry

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