Seminator: A Tool for Semi-Determinization of Omega-Automata. - Frantisek Blahoudek; Alexandre Duret-Lutz; Mikulás Klokocka; Mojmír Kretínský; Jan Strejcek (LPAR, 2017)