Reasoning using tangles on parity games

Informazioni relative al progetto

PIGGY

ID dell’accordo di sovvenzione: 893732

DOI

10.3030/893732

Progetto chiuso

Data della firma CE 24 Marzo 2020

Data di avvio 1 Aprile 2020

Data di completamento 31 Marzo 2022

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 175 572,48

Contributo UE

€ 175 572,48

Coordinato da

UNIVERSITEIT TWENTE
Netherlands

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (1)

Symbolic Parity Game Solvers that Yield Winning Strategies

Autori: Lijzenga, Oebele; van Dijk, Tom; Raskin, Jean-Francois; Bresolin, Davide
Pubblicato in: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, Numero 1, 2020, Pagina/e 18-32
Editore: EPTCS
DOI: 10.48550/arxiv.2009.10876