research
∙
04/07/2021
A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence
We propose a novel construction for the well-known prefer-max De Bruijn ...
share
research
∙
05/01/2020
Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games
ω-regular energy games, which are weighted two-player turn-based games w...
research
∙
01/30/2018
