Universal Trees Grow Inside Separating Automata: Quasi-Polynomial Lower Bounds for Parity Games
Universal Trees Grow Inside Separating Automata: Quasi-Polynomial Lower Bounds for Parity Games
Autor
Fijalkow Nathanaël
Daviaud Laure
Jurdziński Marcin
Lazić Ranko
Data publikacji
Dyscyplina PBN
informatyka
Licencja otwartego dostępu
Dostęp zamknięty