Publications
Symbolic Parity Game Solvers that Yield Winning Strategies
Auteurs:
Lijzenga, Oebele; van Dijk, Tom; Raskin, Jean-Francois; Bresolin, Davide
Publié dans:
Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, Numéro 1, 2020, Page(s) 18-32
Éditeur:
EPTCS
DOI:
10.48550/arxiv.2009.10876
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible