Regular Strategies in Pushdown Reachability Games

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

76 Downloads (Pure)

Original language	English
Title of host publication	8th International Workshop on Reachability Problems 2014
Number of pages	13
Publication status	Published - 2014
Event	Reachability Problems - University of Oxford, Oxford, United Kingdom Duration: 22 Sept 2014 → 24 Sept 2014

Keywords

@inproceedings{4e9aa0ed2fd24bb0af083e04ad0c4339,

title = "Regular Strategies in Pushdown Reachability Games",

keywords = "pushdown, strategies, synthesis, regular, automata",

author = "Matthew Hague and Arnaud Carayol",

year = "2014",

language = "English",

booktitle = "8th International Workshop on Reachability Problems 2014",

note = "Reachability Problems ; Conference date: 22-09-2014 Through 24-09-2014",

}

TY - GEN

T1 - Regular Strategies in Pushdown Reachability Games

AU - Hague, Matthew

AU - Carayol, Arnaud

PY - 2014

Y1 - 2014

KW - pushdown

KW - strategies

KW - synthesis

KW - regular

KW - automata

M3 - Conference contribution

BT - 8th International Workshop on Reachability Problems 2014

T2 - Reachability Problems

Y2 - 22 September 2014 through 24 September 2014

ER -