Benedikt Brütsch

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 4

Top Topics

Structured Data

Finite Automaton

Top Venues

Fundam. Informaticae

Cassting/SynCoP

Publications

Benedikt Brütsch, Wolfgang Thomas
Solving Infinite Games in the Baire Space. Fundam. Informaticae 186 (1-4) (2022)
Benedikt Brütsch, Wolfgang Thomas
Solving Infinite Games in the Baire Space. CoRR (2021)
Benedikt Brütsch, Patrick Landwehr, Wolfgang Thomas
N-Memory Automata over the Alphabet N. LATA (2017)
Benedikt Brütsch, Wolfgang Thomas
Playing Games in the Baire Space. Cassting/SynCoP (2016)
Benedikt Brütsch
Synthesizing structured reactive programs via deterministic tree automata. Inf. Comput. 242 (2015)
Benedikt Brütsch
Synthesizing Structured Reactive Programs via Deterministic Tree Automata SR (2013)