Index Appearance Record for Transforming Rabin Automata into Parity Automata.

Jan Kretnsk, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger

Browse the full TACAS paper archive.