About:
Email: d.dellerba@mdx.ac.uk
Office address: TG11
Lecturer in Computer Science – Middlesex University
Honorary Fellow – University of Liverpool
Biography & Qualifications
My research focuses on theoretical computer science, precisely on formal methods. The majority of the effort aims at solving infinite-duration games on graphs, which can be used for formal verification (model checking and synthesis of multi-agent systems) and have applications in automata theory, machine learning, and control theory.
Research Interests
-
Formal methods
-
Automata theory
- Games on graphs
Publications Repository
DFAMiner: an efficient tool for learning minimal separating DFAs from labelled samples
Dell’Erba, D., Li, Y., Schewe, S. and Turrini, A. 2026. DFAMiner: an efficient tool for learning minimal separating DFAs from labelled samples. Science of Computer Programming. https://doi.org/10.1016/j.scico.2026.103506
DFAMiner: mining minimal separating DFAs from labelled samples
Dell’Erba, D., Li, Y. and Schewe, S. 2024. DFAMiner: mining minimal separating DFAs from labelled samples. Platzer, A., Rozier, K.Y., Pradella, M. and Rossi, M. (ed.) 26th International Symposium on Formal Methods. Milan, Italy 09 - 13 Sep 2024 Cham Springer. pp. 48-66 https://doi.org/10.1007/978-3-031-71177-0_4
Priority promotion with Parysian flair
Benerecetti, M., Dell'Erba, D., Mogavero, F., Schewe, S. and Wojtczak, D. 2025. Priority promotion with Parysian flair. Journal of Computer and System Sciences. 147. https://doi.org/10.1016/j.jcss.2024.103580
Solving mean-payoff games via quasi dominions
Benerecetti, M., Dell'Erba, D. and Mogavero, F. 2024. Solving mean-payoff games via quasi dominions. Information and Computation. 297. https://doi.org/10.1016/j.ic.2024.105151
Smaller progress measures and separating automata for parity games
Dell'Erba, D. and Schewe, S. 2022. Smaller progress measures and separating automata for parity games. Frontiers in Computer Science. 4. https://doi.org/10.3389/fcomp.2022.936903