13 citations · 15 across the 3 of their papers we have counts for
1 paper · 1 filter
Jan Křetínský, Tobias Meggendorfer, Clara Waldmann +1
Transforming deterministic ω-automata into deterministic parity automata is traditionally done using variants of appearance records. We present a more efficient variant of this a…