Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. - Jan Kretínský; Tobias Meggendorfer; Salomon Sickert; Christopher Ziegler (CAV (1), 2018)