VLDB 2026 Research / reviewers in the wild / expert
Benedikt Brütsch
dblp:127/6808
· DBLP profile ↗
3ranked-venue papers
3as first author
1since 2021 · last 2022
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 3 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Solving Infinite Games in the Baire SpaceabstractInfinite games (in the form of Gale-Stewart games) are studied where a play is a sequence of natural numbers chosen by two players in alternation, the winning condition being a subset of the Baire space $\omega^\omega$. We consider such games defined by a natural kind of parity automata over the alphabet $\mathbb{N}$, called $\mathbb{N}$-MSO-automata, where transitions are specified by monadic second-order formulas over the successor structure of the natural numbers. We show that the classical B\"uchi-Landweber Theorem (for finite-state games in the Cantor space $2^\omega$) holds again for the present games: A game defined by a deterministic parity $\mathbb{N}$-MSO-automaton is determined, the winner can be computed, and an $\mathbb{N}$-MSO-transducer realizing a winning strategy for the winner can be constructed. Comment: Updated header on title page. 26 pages, 1 figure Benedikt Brütsch, Wolfgang Thomas |
Fundam. Informaticae | 1 |
| 2017 | N-Memory Automata over the Alphabet N
Benedikt Brütsch, Patrick Landwehr, Wolfgang Thomas |
LATA | 1 |
| 2015 | Synthesizing structured reactive programs via deterministic tree automata
Benedikt Brütsch |
Inf. Comput. | 1 |