A Compositional and Unified Translation of LTL into ω-Automata by Benedikt Seidl 📧 and Salomon Sickert 📧 Apr 16