Seminator 2 Can Complement Generalized Bchi Automata via Improved Semi-determinization.

Frantisek Blahoudek, Alexandre Duret-Lutz, Jan Strejcek

Browse the full CAV paper archive.