Publications

Progress measures for complementation ω-automata with applications to temporal logic