Synthesising Game Solving Techniques

Informazioni relative al progetto

SyGaST

ID dell’accordo di sovvenzione: 101032464

DOI 10.3030/101032464

Progetto chiuso

Data della firma CE 27 Aprile 2021

Data di avvio 1 Luglio 2021

Data di completamento 30 Giugno 2023

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale € 212 933,76

Contributo UE € 212 933,76

Coordinato da

THE UNIVERSITY OF LIVERPOOL
United Kingdom

Pubblicazioni

Peer reviewed articles (1)

Smaller Progress Measures and Separating Automata for Parity Games

Autori: Daniele Dell'Erba; Sven Schewe
Pubblicato in: Smaller progress measures and separating automata for parity games, Numero 4, 2022, ISSN 2624-9898
Editore: Frontiers Media SA
DOI: 10.3389/fcomp.2022.936903

Conference proceedings (2)

An Objective Improvement Approach to Solving Discounted Payoff Games

Autori: D. Dell’Erba, A. Dumas, and S. Schewe
Pubblicato in: International Symposium on Games, Automata, Logics and Formal Verification 2023, 2023
Editore: Open Publishing Association

From Quasi-Domionions to Progress Measures

Autori: M. Benerecetti, D. Dell’Erba, M. Faella, and F. Mogavero
Pubblicato in: Lecture Note Series, 2023
Editore: World Scientific Publishing Company