Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Paul HÃ¤nsch, Michaela Slaats, Wolfgang Thomas. Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies. In Miroslaw Kutylowski, Witold Charatonik, Maciej Gebala, editors, Fundamentals of Computation Theory, 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings. Volume 5699 of Lecture Notes in Computer Science, pages 181-192, Springer, 2009. [doi]

The following publications are possibly variants of this publication:

Infinite regular games in the higher-order pushdown and the parametrized settingMichaela Slaats. PhD thesis, RWTH Aachen University, 2011. [doi]

Aspects of Higher-Order Pushdown Systems - Infinite Regular Games and StrategiesMichaela Slaats. Dagstuhl 2010: 82 [doi]

Positional Strategies for Higher-Order Pushdown Parity GamesArnaud Carayol, Michaela Slaats. mfcs 2008: 217-228 [doi]

runs on WebDSL