Regular Strategies in Pushdown Reachability Games

DOI10.1007/978-3-319-11439-2_5zbMath1448.68260OpenAlexW141877291MaRDI QIDQ3447695

Matthew Hague, Arnaud Carayol

Publication date: 28 October 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal-upec-upem.archives-ouvertes.fr/hal-01719810/file/rp2014.pdf

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Games involving topology, set theory, or logic (91A44) Attainable sets, reachability (93B03)

Related Items (2)

Solving Infinite Games in the Baire Space ⋮ Unnamed Item

This page was built for publication: Regular Strategies in Pushdown Reachability Games