CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Publications
Author(s):
Daniele Dell'Erba; Sven Schewe
Published in:
Smaller progress measures and separating automata for parity games, Issue 4, 2022, ISSN 2624-9898
Publisher:
Frontiers Media SA
DOI:
10.3389/fcomp.2022.936903
Author(s):
D. Dell’Erba, A. Dumas, and S. Schewe
Published in:
International Symposium on Games, Automata, Logics and Formal Verification 2023, 2023
Publisher:
Open Publishing Association
Author(s):
M. Benerecetti, D. Dell’Erba, M. Faella, and F. Mogavero
Published in:
Lecture Note Series, 2023
Publisher:
World Scientific Publishing Company
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available