Synthesising Game Solving Techniques

Project Information

SyGaST

Grant agreement ID: 101032464

DOI 10.3030/101032464

Project closed

EC signature date 27 April 2021

Start date 1 July 2021

End date 30 June 2023

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost € 212 933,76

EU contribution € 212 933,76

Coordinated by

THE UNIVERSITY OF LIVERPOOL
United Kingdom

Publications

Peer reviewed articles (1)

Smaller Progress Measures and Separating Automata for Parity Games

Author(s): Daniele Dell'Erba; Sven Schewe
Published in: Smaller progress measures and separating automata for parity games, Issue 4, 2022, ISSN 2624-9898
Publisher: Frontiers Media SA
DOI: 10.3389/fcomp.2022.936903

Conference proceedings (2)

An Objective Improvement Approach to Solving Discounted Payoff Games

Author(s): D. Dell’Erba, A. Dumas, and S. Schewe
Published in: International Symposium on Games, Automata, Logics and Formal Verification 2023, 2023
Publisher: Open Publishing Association

From Quasi-Domionions to Progress Measures

Author(s): M. Benerecetti, D. Dell’Erba, M. Faella, and F. Mogavero
Published in: Lecture Note Series, 2023
Publisher: World Scientific Publishing Company