Publikationen von Michaela Slaats
Alle Publikationen
| [HST09] |
P. Hänsch, M. Slaats, and W. Thomas.
Parametrized regular infinite games and higher-order pushdown
strategies.
In FCT 2009, volume 5699 of Lecture Notes in Computer
Science, pages 181-192. Springer, 2009.
(c)
Springer. [ pdf | Abstract ] |
| [CS08] |
A. Carayol and M. Slaats.
Positional strategies for higher-order pushdown parity games.
In Mathematical Foundations of Computer Science 2008, volume
5162 of Lecture Notes in Computer Science, pages 217-228. Springer,
2008.
(c)
Springer. [ pdf | Abstract ] |
| [Sla07] |
M. Slaats.
Infinite games over higher-order pushdown systems.
Diplomarbeit, RWTH Aachen, 2007. [ pdf | ps | Abstract ] |