scientific article; zbMATH DE number 7378359

DOI10.4230/LIPIcs.MFCS.2018.42MaRDI QIDQ5005144

Arnaud Carayol, Matthew Hague

Publication date: 4 August 2021

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

formal methodsoptimal strategiespushdown systemscontext freereachability games

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

Unnamed Item ⋮ Optimally Resilient Strategies in Pushdown Safety Games

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• Pushdown processes: Games and model-checking
• Automata, logics, and infinite games. A guide to current research
• Regular Strategies in Pushdown Reachability Games
• An Automata-Theoretic Approach to Infinite-State Systems
• Even Simple Programs Are Hard To Analyze
• Computer Aided Verification
• Regular canonical systems
• Reachability analysis of pushdown automata: Application to model-checking

This page was built for publication: