Schewe. Minimising Good-for-games Automata Is NP Complete. 26 Mar. 2020.