Büchi Good-for-Games Automata Are Efficiently Recognizable.

Mon, 01 Jan 2018 00:00:00 +0100

Marc Bagnol, Denis Kuperberg:
Büchi Good-for-Games Automata Are Efficiently Recognizable. FSTTCS 2018: 16:1-16:14