Optimal Strategies in Pushdown Reachability Games

Matthew Hague, Arnaud Carayol

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Downloads (Pure)
Original languageEnglish
Title of host publicationInternational Symposium on Mathematical Foundations of Computer Science
Pages1-14
Number of pages14
DOIs
Publication statusPublished - 20 Aug 2018

Publication series

NameLeibniz International Proceedings in Informatics (LIPIcs)
Volume117

Keywords

  • Pushdown Systems, Reachability Games, Optimal Strategies, Formal Methods, Context Free

Cite this