research
∙
08/22/2022
Reachability Games and Parity Games
Parity games are positionally determined. This is a fundamental and clas...
share
research
∙
05/19/2021
Deciding FO2 Alternation for Automata over Finite and Infinite Words
We consider two-variable first-order logic FO^2 and its quantifier alter...
research
∙
12/02/2020
