Publicaciones
Symbolic Parity Game Solvers that Yield Winning Strategies
Autores:
Lijzenga, Oebele; van Dijk, Tom; Raskin, Jean-Francois; Bresolin, Davide
Publicado en:
Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, Edición 1, 2020, Página(s) 18-32
Editor:
EPTCS
DOI:
10.48550/arxiv.2009.10876
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles