EasyChair Smart Slide
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata