Synthesising Game Solving Techniques

Projektinformationen

SyGaST

ID Finanzhilfevereinbarung: 101032464

DOI

10.3030/101032464

Projekt abgeschlossen

EK-Unterschriftsdatum 27 April 2021

Startdatum 1 Juli 2021

Enddatum 30 Juni 2023

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 212 933,76

EU-Beitrag

€ 212 933,76

Koordiniert durch

THE UNIVERSITY OF LIVERPOOL
United Kingdom

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Peer reviewed articles (1)

Smaller Progress Measures and Separating Automata for Parity Games

Autoren: Daniele Dell'Erba; Sven Schewe
Veröffentlicht in: Smaller progress measures and separating automata for parity games, Ausgabe 4, 2022, ISSN 2624-9898
Herausgeber: Frontiers Media SA
DOI: 10.3389/fcomp.2022.936903

Conference proceedings (2)

An Objective Improvement Approach to Solving Discounted Payoff Games

Autoren: D. Dell’Erba, A. Dumas, and S. Schewe
Veröffentlicht in: International Symposium on Games, Automata, Logics and Formal Verification 2023, 2023
Herausgeber: Open Publishing Association

From Quasi-Domionions to Progress Measures

Autoren: M. Benerecetti, D. Dell’Erba, M. Faella, and F. Mogavero
Veröffentlicht in: Lecture Note Series, 2023
Herausgeber: World Scientific Publishing Company