Publications of Michaela Slaats
Publications at Chair of Computer Science 7
[Sla12] |
Michaela Slaats.
Infinite regular games in the higher-order pushdown and the
parametrized setting.
PhD thesis, RWTH Aachen, 2012. [ pdf | http | Abstract ] |
[BSA+10] |
K. Bollue, M. Slaats, E. Abraham, W. Thomas, and D. Abel.
Synthesis of Behavioral Controllers for DES:
Increasing Efficiency.
In 10th Int. Workshop on Discrete-Event Systems (WODES'10),
IFAC, pages 30-37, 2010. [ pdf | Abstract ] |
[HST09a] |
P. Hänsch, M. Slaats, and W. Thomas.
Parametrized Regular Infinite Games and Higher-Order
Pushdown Strategies.
In FCT 2009, volume 5699 of lncs, pages 181-192.
Springer, 2009.
A preliminary
version is accepted at the conference AutoMathA 2009, Automata: from
Mathematics to Applications, Liège, Belgium.
(c)
Springer. [ pdf | Abstract ] |
[HST09b] |
P. Hänsch, M. Slaats, and W. Thomas.
Parametrized Regular Infinite Games and Higher-Order
Pushdown Strategies.
Technical Report AIB-2009-18, RWTH Aachen, sep 2009.
Full version of [HST09a]. [ pdf | ps | Abstract ] |
[TBG+09] |
W. Thomas, K. Bollue, D. Gückel, G. Quiros, M. Slaats, and M. Ummels.
DFG Research Training Group: Algorithmic Synthesis
of Reactive and Discrete-Continuous Systems (AlgoSyn).
it - Information Technology, 51(4):222-230, 2009.
link. [ pdf ] |
[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 ] |