Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

Synthesising Game Solving Techniques

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Smaller Progress Measures and Separating Automata for Parity Games (s’ouvre dans une nouvelle fenêtre)

Auteurs: Daniele Dell'Erba; Sven Schewe
Publié dans: Smaller progress measures and separating automata for parity games, Numéro 4, 2022, ISSN 2624-9898
Éditeur: Frontiers Media SA
DOI: 10.3389/fcomp.2022.936903

An Objective Improvement Approach to Solving Discounted Payoff Games

Auteurs: D. Dell’Erba, A. Dumas, and S. Schewe
Publié dans: International Symposium on Games, Automata, Logics and Formal Verification 2023, 2023
Éditeur: Open Publishing Association

From Quasi-Domionions to Progress Measures

Auteurs: M. Benerecetti, D. Dell’Erba, M. Faella, and F. Mogavero
Publié dans: Lecture Note Series, 2023
Éditeur: World Scientific Publishing Company

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0