Person

Dr.

Benedikt Brütsch

Address

 

Research Interests

Algorithmic theory of infinite games, automata theory, synthesis of reactive systems

 

Teaching

Term Class
Winter semester 2016/2017 Exercises for the lecture Computability and Complexity
Seminar Current Topics of Theoretical Computer Science
Summer semester 2016 Problems class for the lecture Applied Automata Theory
Seminar Current Topics of Theoretical Computer Science
Winter semester 2015/2016 Problems class for the lecture Infinite Computations
Summer semester 2015 Problems class for the lecture Applied Automata Theory
Seminar Automata Theory
Winter semester 2014/2015 Problems class for the lecture Infinite Computations
Seminar Automata Theory
Summer semester 2014 Problems class for the lecture Applied Automata Theory
Seminar Automata Theory
Winter semester 2013/2014 Problems class for the lecture Infinite Computations
Summer semester 2013 Problems class for the lecture Automata, Languages, Complexity
Seminar Automata Theory
 

Publications

Title Author Published in
ℕ-Memory Automata over the Alphabet ℕ Benedikt Brütsch, Patrick Landwehr, Wolfgang Thomas Proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017
Playing Games in the Baire Space Benedikt Brütsch, Wolfgang Thomas Proceedings of the Workshop on Games for the Synthesis of Complex Systems and the 3rd International Workshop on Synthesis of Complex Parameters, CASSTING/SynCoP 2016
Synthesizing structured reactive programs via deterministic tree automata Benedikt Brütsch Information and Computation, 242:108-127, 2015
Synthesizing Structured Reactive Programs via Deterministic Tree Automata Benedikt Brütsch Proceedings of the 1st International Workshop on Strategic Reasoning, SR 2013
 

Projects

2013–2016 EU project CASSTING
(Collective Adaptative Systems Synthesis with Non-Zero-Sum Games)
2014–2015 DFG Research Training Group AlgoSyn
(Algorithmic Synthesis of Reactive and Discrete-Continuous Systems)