Pubblicazioni
Symbolic Parity Game Solvers that Yield Winning Strategies
Autori:
Lijzenga, Oebele; van Dijk, Tom; Raskin, Jean-Francois; Bresolin, Davide
Pubblicato in:
Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, Numero 1, 2020, Pagina/e 18-32
Editore:
EPTCS
DOI:
10.48550/arxiv.2009.10876
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile