Publications
2024
Priority Promotion with Parysian Flair
Benerecetti, M., Dell'Erba, D., Mogavero, F., Schewe, S., & Wojtczak, D. (2024). Priority Promotion with Parysian Flair. Journal of Computer and System Sciences, 103580. doi:10.1016/j.jcss.2024.103580
An Objective Improvement Approach to Solving Discounted Payoff Games
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
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
2023
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
An Objective Improvement Approach to Solving Discounted Payoff Games
Dell'Erba, D., Dumas, A., & Schewe, S. (n.d.). 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
2022
Smaller progress measures and separating automata for parity games
Dell'Erba, D., & Schewe, S. (n.d.). Smaller progress measures and separating automata for parity games. Frontiers in Computer Science, 4. doi:10.3389/fcomp.2022.936903
Smaller Progress Measures and Separating Automata for Parity Games
2021
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
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
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
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
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
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).
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
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
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