Synthesising Game Solving Techniques

Informacje na temat projektu

SyGaST

Identyfikator umowy o grant: 101032464

DOI 10.3030/101032464

Projekt został zamknięty

Data podpisania przez KE 27 Kwietnia 2021

Data rozpoczęcia 1 Lipca 2021

Data zakończenia 30 Czerwca 2023

Finansowanie w ramach

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Koszt całkowity € 212 933,76

Wkład UE € 212 933,76

Koordynowany przez

THE UNIVERSITY OF LIVERPOOL
United Kingdom

Publikacje

Peer reviewed articles (1)

Smaller Progress Measures and Separating Automata for Parity Games

Autorzy: Daniele Dell'Erba; Sven Schewe
Opublikowane w: Smaller progress measures and separating automata for parity games, Numer 4, 2022, ISSN 2624-9898
Wydawca: Frontiers Media SA
DOI: 10.3389/fcomp.2022.936903

Conference proceedings (2)

An Objective Improvement Approach to Solving Discounted Payoff Games

Autorzy: D. Dell’Erba, A. Dumas, and S. Schewe
Opublikowane w: International Symposium on Games, Automata, Logics and Formal Verification 2023, 2023
Wydawca: Open Publishing Association

From Quasi-Domionions to Progress Measures

Autorzy: M. Benerecetti, D. Dell’Erba, M. Faella, and F. Mogavero
Opublikowane w: Lecture Note Series, 2023
Wydawca: World Scientific Publishing Company