Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment.

Toms Babiak, Frantisek Blahoudek, Mojmr Kretnsk, Jan Strejcek

Browse the full ATVA paper archive.