Synthesising Game Solving Techniques

Información del proyecto

SyGaST

Identificador del acuerdo de subvención: 101032464

DOI 10.3030/101032464

Proyecto cerrado

Fecha de la firma de la CE 27 Abril 2021

Fecha de inicio 1 Julio 2021

Fecha de finalización 30 Junio 2023

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total € 212 933,76

Aportación de la UE € 212 933,76

Coordinado por

THE UNIVERSITY OF LIVERPOOL
United Kingdom

Publicaciones

Peer reviewed articles (1)

Smaller Progress Measures and Separating Automata for Parity Games

Autores: Daniele Dell'Erba; Sven Schewe
Publicado en: Smaller progress measures and separating automata for parity games, Edición 4, 2022, ISSN 2624-9898
Editor: Frontiers Media SA
DOI: 10.3389/fcomp.2022.936903

Conference proceedings (2)

An Objective Improvement Approach to Solving Discounted Payoff Games

Autores: D. Dell’Erba, A. Dumas, and S. Schewe
Publicado en: International Symposium on Games, Automata, Logics and Formal Verification 2023, 2023
Editor: Open Publishing Association

From Quasi-Domionions to Progress Measures

Autores: M. Benerecetti, D. Dell’Erba, M. Faella, and F. Mogavero
Publicado en: Lecture Note Series, 2023
Editor: World Scientific Publishing Company