Reasoning using tangles on parity games

Informations projet

PIGGY

N° de convention de subvention: 893732

DOI

10.3030/893732

Projet clôturé

Date de signature de la CE 24 Mars 2020

Date de début 1 Avril 2020

Date de fin 31 Mars 2022

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 175 572,48

Contribution de l’UE

€ 175 572,48

Coordonné par

UNIVERSITEIT TWENTE
Netherlands

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (1)

Symbolic Parity Game Solvers that Yield Winning Strategies

Auteurs: Lijzenga, Oebele; van Dijk, Tom; Raskin, Jean-Francois; Bresolin, Davide
Publié dans: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, Numéro 1, 2020, Page(s) 18-32
Éditeur: EPTCS
DOI: 10.48550/arxiv.2009.10876