Benedikt Brütsch

According to our database, Benedikt Brütsch authored at least 5 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Solving Infinite Games in the Baire Space.

Benedikt Brütsch, Wolfgang Thomas

Fundam. Informaticae, 2022

2018

Strategies in infinite games: structured reactive programs and transducers over infinite alphabets.

Benedikt Brütsch

PhD thesis, 2018

2017

N-Memory Automata over the Alphabet N.

Benedikt Brütsch, Patrick Landwehr, Wolfgang Thomas

Proceedings of the Language and Automata Theory and Applications, 2017

2016

Playing Games in the Baire Space.

Benedikt Brütsch, Wolfgang Thomas

Proceedings of the Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, 2016

2013

Synthesizing Structured Reactive Programs via Deterministic Tree Automata

Benedikt Brütsch

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013