Regular Strategies in Pushdown Reachability Games

Matthew Hague, Arnaud Carayol

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

55 Downloads (Pure)
Original languageEnglish
Title of host publication8th International Workshop on Reachability Problems 2014
Number of pages13
Publication statusPublished - 2014
EventReachability Problems - University of Oxford, Oxford, United Kingdom
Duration: 22 Sept 201424 Sept 2014

Conference

ConferenceReachability Problems
Country/TerritoryUnited Kingdom
CityOxford
Period22/09/1424/09/14

Keywords

  • pushdown
  • strategies
  • synthesis
  • regular
  • automata

Cite this