TY  - RPRT
TI  - One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata
AU  - Javier Esparza
AU  - Jan Kretinsky
AU  - Salomon Sickert
PY  - 2018
DO  - 10.1145/3209108.3209161
UR  - https://arxiv.org/abs/1805.00748
ID  - 1805.00748
ER  -