Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.

Jan Kretnsk, Tobias Meggendorfer, Salomon Sickert, Christopher Ziegler

Browse the full CAV paper archive.