A Compositional and Unified Translation of LTL into ω-Automataby Benedikt Seidl and Salomon Sickert16 Apr