The Hanoi Omega-Automata Format.

Toms Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretnsk, David Mller, David Parker, Jan Strejcek

Browse the full CAV paper archive.