Telecharger Cours

Minimising Good-For-Games Automata Is NP-Complete - DROPS

Abstract. This paper discusses the hardness of finding minimal good-for-games (GFG) Büchi, Co-Büchi, and parity automata with state based acceptance.



Download