Michaela Slaats

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

RWTH Aachen University (PHD)

Education History

RWTH Aachen University

PHD

Publications

Michaela Slaats
Aspects of Higher-Order Pushdown Systems - Infinite Regular Games and Strategies. AlgoSyn (2010)
Kai Bollue, Michaela Slaats, Erika Ábrahám, Wolfgang Thomas, Dirk Abel
Synthesis of behavioral controllers for DES: Increasing efficiency. WODES (2010)
Wolfgang Thomas, Kai Bollue, Dominique Gückel, Gustavo Quiros, Michaela Slaats, Michael Ummels
DFG Research Training Group "Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)" (DFG-Graduiertenkolleg "Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn)"). it Inf. Technol. 51 (4) (2009)
Paul Hänsch, Michaela Slaats, Wolfgang Thomas
Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies. FCT (2009)
Arnaud Carayol, Michaela Slaats
Positional Strategies for Higher-Order Pushdown Parity Games. MFCS (2008)