Up a level |
Dell'Erba, Daniele, Dumas, Arthur and Schewe, Sven ORCID: 0000-0002-9093-9518
(2023)
An Objective Improvement Approach to Solving Discounted Payoff Games.
.
Benerecetti, Massimo, Dell'Erba, Daniele ORCID: 0000-0003-1196-6110, Mogavero, Fabio, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik
(2021)
Priority Promotion with Parysian Flair.
[Preprint]
Dell'Erba, Daniele ORCID: 0000-0003-1196-6110 and Schewe, Sven ORCID: 0000-0002-9093-9518
(2022)
Smaller progress measures and separating automata for parity games.
Frontiers in Computer Science, 4.