Synthesising Game Solving Techniques

Informations projet

SyGaST

N° de convention de subvention: 101032464

DOI 10.3030/101032464

Projet clôturé

Date de signature de la CE 27 Avril 2021

Date de début 1 Juillet 2021

Date de fin 30 Juin 2023

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total € 212 933,76

Contribution de l’UE € 212 933,76

Coordonné par

THE UNIVERSITY OF LIVERPOOL
United Kingdom

Publications

Peer reviewed articles (1)

Smaller Progress Measures and Separating Automata for Parity Games

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

Conference proceedings (2)

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