Publications

Filter publications

What type of publication do you want to show?

All

Journals

Conference papers

Chapters

Books

Other

2025

Priority Promotion with Parysian flair

Benerecetti, M., Dell'Erba, D., Mogavero, F., Schewe, S., & Wojtczak, D. (2025). Priority Promotion with Parysian flair. Journal of Computer and System Sciences, 147, 103580. doi:10.1016/j.jcss.2024.103580

DOI: 10.1016/j.jcss.2024.103580
: Journal article

DFAMiner: Mining Minimal Separating DFAs from Labelled Samples

Dell’Erba, D., Li, Y., & Schewe, S. (2025). DFAMiner: Mining Minimal Separating DFAs from Labelled Samples. In Lecture Notes in Computer Science (pp. 48-66). Springer Nature Switzerland. doi:10.1007/978-3-031-71177-0_4

DOI: 10.1007/978-3-031-71177-0_4
: Chapter

2024

DFAMiner: Mining minimal separating DFAs from labelled samples

: Preprint

An Objective Improvement Approach to Solving Discounted Payoff Games

DOI: 10.48550/arxiv.2404.04124
: Preprint

Semantic flowers for good-for-games and deterministic automata

Dell'Erba, D., Schewe, S., Tang, Q., & Zhanabekova, T. (2024). Semantic flowers for good-for-games and deterministic automata. Information Processing Letters, 185, 106468. doi:10.1016/j.ipl.2023.106468

DOI: 10.1016/j.ipl.2023.106468
: Journal article

Solving mean-payoff games via quasi dominions

Benerecetti, M., Dell'Erba, D., & Mogavero, F. (2024). Solving mean-payoff games via quasi dominions. Information and Computation, 297, 105151. doi:10.1016/j.ic.2024.105151

DOI: 10.1016/j.ic.2024.105151
: Journal article

From Quasi-Dominions to Progress Measures

Benerecetti, M., Dell’Erba, D., Faella, M., & Mogavero, F. (2023). From Quasi-Dominions to Progress Measures. In Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore (pp. 159-199). WORLD SCIENTIFIC. doi:10.1142/9789811278631_0007

DOI: 10.1142/9789811278631_0007
: Chapter

2023

An Objective Improvement Approach to Solving Discounted Payoff Games

: Preprint

An Objective Improvement Approach to Solving Discounted Payoff Games

Dell'Erba, D., Dumas, A., & Schewe, S. (2023). An Objective Improvement Approach to Solving Discounted Payoff Games. In Electronic Proceedings in Theoretical Computer Science Vol. 390 (pp. 203-219). Open Publishing Association. doi:10.4204/eptcs.390.13

DOI: 10.4204/eptcs.390.13
: Conference Paper

2022

Smaller progress measures and separating automata for parity games

Dell'Erba, D., & Schewe, S. (2022). Smaller progress measures and separating automata for parity games. Frontiers in Computer Science, 4. doi:10.3389/fcomp.2022.936903

DOI: 10.3389/fcomp.2022.936903
: Journal article

Smaller Progress Measures and Separating Automata for Parity Games

DOI: 10.48550/arxiv.2205.00744
: Preprint

2021

Priority Promotion with Parysian Flair

: Preprint

2020

Robust worst cases for parity games algorithms

Benerecetti, M., Dell'Erba, D., & Mogavero, F. (2020). Robust worst cases for parity games algorithms. INFORMATION AND COMPUTATION, 272. doi:10.1016/j.ic.2019.104501

DOI: 10.1016/j.ic.2019.104501
: Journal article

Solving Mean-Payoff Games via Quasi Dominions

Benerecetti, M., Dell’Erba, D., & Mogavero, F. (2020). Solving Mean-Payoff Games via Quasi Dominions. In Unknown Conference (pp. 289-306). Springer International Publishing. doi:10.1007/978-3-030-45237-7_18

DOI: 10.1007/978-3-030-45237-7_18
: Conference Paper

2018

A delayed promotion policy for parity games

Benerecetti, M., Dell'Erba, D., & Mogavero, F. (2018). A delayed promotion policy for parity games. INFORMATION AND COMPUTATION, 262, 221-240. doi:10.1016/j.ic.2018.09.005

DOI: 10.1016/j.ic.2018.09.005
: Journal article

Solving parity games via priority promotion

Benerecetti, M., Dell'Erba, D., & Mogavero, F. (2018). Solving parity games via priority promotion. FORMAL METHODS IN SYSTEM DESIGN, 52(2), 193-226. doi:10.1007/s10703-018-0315-1

DOI: 10.1007/s10703-018-0315-1
: Journal article

2017

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

Benerecetti, M., Dell'Erba, D., & Mogavero, F. (2017). Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games. In ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (pp. 121-135). doi:10.4204/EPTCS.256.9

DOI: 10.4204/EPTCS.256.9
: Conference Paper

The priority promotion approach to parity games

Benerecetti, M., Dell'Erba, D., & Mogavero, F. (2017). The priority promotion approach to parity games. In Ceur Workshop Proceedings Vol. 1949 (pp. 213-217).

: Conference Paper

2016

A Delayed Promotion Policy for Parity Games

Benerecetti, M., Dell'Erba, D., & Mogavero, F. (2016). A Delayed Promotion Policy for Parity Games. In ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (pp. 30-45). doi:10.4204/EPTCS.226.3

DOI: 10.4204/EPTCS.226.3
: Conference Paper

Improving Priority Promotion for Parity Games

Benerecetti, M., Dell'Erba, D., & Mogavero, F. (2016). Improving Priority Promotion for Parity Games. In HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, HVC 2016 Vol. 10028 (pp. 117-133). doi:10.1007/978-3-319-49052-6_8

DOI: 10.1007/978-3-319-49052-6_8
: Conference Paper

Solving Parity Games via Priority Promotion

Benerecetti, M., Dell'Erba, D., & Mogavero, F. (2016). Solving Parity Games via Priority Promotion. In COMPUTER AIDED VERIFICATION: 28TH INTERNATIONAL CONFERENCE, CAV 2016, PT II Vol. 9780 (pp. 270-290). doi:10.1007/978-3-319-41540-6_15

DOI: 10.1007/978-3-319-41540-6_15
: Conference Paper