Daniele Dell'Erba

University Logo

Journals

  • Solving Mean-Payoff Games via Quasi Dominions.
    M. Benerecetti, D. Dell’Erba, and F. Mogavero.
    Information and Computation, in press, 2024.
    ISSN:0890-5401 [doi]
  • Semantic flowers for good-for-games and deterministic automata.
    D. Dell’Erba, S. Schewe, Q. Tang, T. Zhanabekova.
    Information Processing Letters, 185: in press, 2024.
    ISSN:0020-0190 [doi]
  • Smaller progress measures and separating automata for parity games.
    D. Dell’Erba and S. Schewe.
    Frontiers in Computer Science, 4, 2022.
    ISSN:2624-9898 [doi]
  • Robust Worst Cases for Parity Games Algorithms.
    M. Benerecetti, D. Dell’Erba, and F. Mogavero.
    Information and Computation, 272:1–18, 2019.
    ISSN:0890-5401 [doi]
  • A Delayed Promotion Policy for Parity Games.
    M. Benerecetti, D. Dell’Erba, and F. Mogavero.
    Information and Computation, 262(2):265–279, 2018.
    ISSN:0890-5401. [doi]
  • Solving Parity Games via Priority Promotion.
    M. Benerecetti, D. Dell’Erba, and F. Mogavero.
    Formal Methods in System Design, 52(2):193–226, 2018.
    ISSN:0925-9856 [doi]

Conferences

  • An Objective Improvement Approach to Solving Discounted Payoff Games.
    D. Dell’Erba, A. Dumas, and S. Schewe.
    In 14th International Symposium on Games, Automata, Logics and Formal Verification (GANDALF’23), September 18-20, 2023, Udine, Italy, volume 390 of EPTCS, pages 203–219, 2023.
    no ref [doi]
  • Solving Mean-Payoff Games via Quasi Dominions.
    M. Benerecetti, D. Dell’Erba, and F. Mogavero.
    In 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems’ (TACAS’20), April 25-30, 2020, Dublin, Ireland, volume 12079 of LNCS, pages 289–306, 2020.
    no ref [doi]
  • Robust Exponential Worst Cases for Divide-et- Impera Algorithms for Parity Games.
    M. Benerecetti, D. Dell’Erba, and F. Mogavero.
    In 8th International Symposium on Games, Automata, Logics and Formal Verification (GANDALF’17), September 20-22, 2017, Rome, Italy, volume 256 of EPTCS, pages 121–135, 2017.
    ISSN:2075-2180 [doi]
  • The Priority Promotion Approach to Parity Games.
    M. Benerecetti, D. Dell’Erba, and F. Mogavero.
    In 18th Italian Conference on Theoretical Computer Science (ICTCS’17), September 26-29, 2017, Naples, Italy, volume 1949 of CEUR-WS, pages 213–217, 2017.
    ISSN:1613-0073 [no ref]
  • Improving Priority Promotion for Parity Games.
    M. Benerecetti, D. Dell’Erba, and F. Mogavero.
    In 12th Haifa Verification Conference (HVC’16), November 14-17, 2016, Haifa, Israel, volume 10028 of LNCS, pages 1–17. Springer, 2016.
    ISSN:0302-9743, ISBN:978-3-319-49051-9 [doi]
  • A Delayed Promotion Policy for Parity Games.
    M. Benerecetti, D. Dell’Erba, and F. Mogavero.
    In 7th International Symposium on Games, Automata, Logics and Formal Verification (GANDALF’16), September 14-16, 2016, Catania, Italy, volume 226 of EPTCS, pages 30–45, 2016.
    ISSN:2075-2180 [doi]
  • Solving Parity Games via Priority Promotion.
    M. Benerecetti, D. Dell’Erba, and F. Mogavero.
    In 28th International Conference on Computer Aided Verification (CAV’16), July 17-23, 2016, Toronto, Ontario, Canada, volume 9780 (Part II) of LNCS, pages 270–290. Springer, 2016.
    ISSN:0302-9743, ISBN:978-3-319-41540-6 [doi]

Book Chapters

  • From Quasi-Dominions to Progress Measures.
    M. Benerecetti, D. Dell’Erba, M. Faella, and F. Mogavero.
    In Aspects of Computation and Automata Theory with Applications, 42:159-199, 2023.
    ISSN:1793-0758 [doi]

Technical Reports

  • Errata to: 'Faster Deterministic Exponential Time Algorithm for Energy Games and Mean Payoff Games'.
    P. Austin and D. Dell’Erba.
    arXiv, 2023.
    no ref [doi]
  • Priority Promotion with Parysian Flair.
    M. Benerecetti, D. Dell’Erba, F. Mogavero, S. Schewe, and D. Wojtczak.
    arXiv, 2021.
    no ref [doi]

© Daniele Dell`Erba 2023