Daniele Dell'Erba

According to our database, Daniele Dell'Erba authored at least 17 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

DFAMiner: An efficient tool for learning minimal separating DFAs from labelled samples.

Daniele Dell'Erba, Yong Li, Sven Schewe, Andrea Turrini

Sci. Comput. Program., 2026

An Objective Improvement Approach to Solving Discounted Payoff Games.

Daniele Dell'Erba, Arthur Dumas, Sven Schewe

Log. Methods Comput. Sci., 2026

2025

Artifact for "DFAMiner: An efficient tool for learning minimal separating DFAs from labelled samples".

Daniele Dell'Erba, Yong Li, Sven Schewe, Andrea Turrini

Dataset, September, 2025

Priority Promotion with Parysian flair.

Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, Sven Schewe, Dominik Wojtczak

J. Comput. Syst. Sci., 2025

Objective Improvement Algorithm for Controller Synthesis in Uncertain Environments.

Daniele Dell'Erba, Sven Schewe, Ashutosh Trivedi

Proceedings of the 64th IEEE Conference on Decision and Control, 2025

2024

Semantic flowers for good-for-games and deterministic automata.

Daniele Dell'Erba, Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova

Inf. Process. Lett., March, 2024

DFAMiner: Mining Minimal Separating DFAs from Labelled Samples.

Daniele Dell'Erba, Yong Li, Sven Schewe

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Errata to: "Faster Deterministic Exponential Time Algorithm for Energy Games and Mean Payoff Games".

Peter Austin, Daniele Dell'Erba

CoRR, 2023

2022

Smaller progress measures and separating automata for parity games.

Daniele Dell'Erba, Sven Schewe

Frontiers Comput. Sci., 2022

2020

Robust worst cases for parity games algorithms.

Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero

Inf. Comput., 2020

From Quasi-Dominions to Progress Measures.

Massimo Benerecetti, Daniele Dell'Erba, Marco Faella, Fabio Mogavero

CoRR, 2020

Solving Mean-Payoff Games via Quasi Dominions.

Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

Solving Infinite Games on Graphs via Quasi Dominions.

Daniele Dell'Erba

PhD thesis, 2019

2018

A delayed promotion policy for parity games.

Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero

Inf. Comput., 2018

2017

Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games.

Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

2016

Improving Priority Promotion for Parity Games.

Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero

Proceedings of the Hardware and Software: Verification and Testing, 2016

Solving Parity Games via Priority Promotion.

Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero

Proceedings of the Computer Aided Verification - 28th International Conference, 2016