Optimal Strategies in Pushdown Reachability Games

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

2 Downloads (Pure)

Original language	English
Title of host publication	International Symposium on Mathematical Foundations of Computer Science
Pages	1-14
Number of pages	14
DOIs	https://doi.org/10.4230/LIPIcs.MFCS.2018.42
Publication status	Published - 20 Aug 2018

Name	Leibniz International Proceedings in Informatics (LIPIcs)
Volume	117

Keywords

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

@inproceedings{e657b58ef0d4428ba55e964945f0ca96,

title = "Optimal Strategies in Pushdown Reachability Games",

keywords = "Pushdown Systems, Reachability Games, Optimal Strategies, Formal Methods, Context Free",

author = "Matthew Hague and Arnaud Carayol",

year = "2018",

month = aug,

day = "20",

doi = "10.4230/LIPIcs.MFCS.2018.42",

language = "English",

series = "Leibniz International Proceedings in Informatics (LIPIcs)",

pages = "1--14",

booktitle = "International Symposium on Mathematical Foundations of Computer Science",

}

TY - GEN

T1 - Optimal Strategies in Pushdown Reachability Games

AU - Hague, Matthew

AU - Carayol, Arnaud

PY - 2018/8/20

Y1 - 2018/8/20

KW - Pushdown Systems, Reachability Games, Optimal Strategies, Formal Methods, Context Free

U2 - 10.4230/LIPIcs.MFCS.2018.42

DO - 10.4230/LIPIcs.MFCS.2018.42

M3 - Conference contribution

T3 - Leibniz International Proceedings in Informatics (LIPIcs)

SP - 1

EP - 14

BT - International Symposium on Mathematical Foundations of Computer Science

ER -