Seminator: A Tool for Semi-Determinization of Omega-Automata.

Frantisek Blahoudek, Alexandre Duret-Lutz, Mikuls Klokocka, Mojmr Kretnsk, Jan Strejcek

Browse the full LPAR paper archive.