Playing pushdown parity games in a hurry

zbMATH Open1461.91066arXiv1210.2458MaRDI QIDQ4986514FDOQ4986514

Authors: Wladimir Fridman, Martín G. Zimmermann 

Publication date: 27 April 2021

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

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

Mathematics Subject Classification ID

Games involving graphs (91A43)

Cited In (6)

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

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)