Daniele Dell'Erba

24 papers Journal 15Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
An Objective Improvement Approach to Solving Discounted Payoff Games.
Log. Methods Comput. Sci.
Daniele Dell'Erba, Arthur Dumas, Sven Schewe
2025 — conf
Objective Improvement Algorithm for Controller Synthesis in Uncertain Environments.
CDC
Daniele Dell'Erba, Sven Schewe, Ashutosh Trivedi
2025 J jnl
Priority Promotion with Parysian flair.
J. Comput. Syst. Sci.
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, Sven Schewe, Dominik Wojtczak
2024 J jnl
An Objective Improvement Approach to Solving Discounted Payoff Games.
CoRR
Daniele Dell'Erba, Arthur Dumas, Sven Schewe
2024 — conf
DFAMiner: Mining Minimal Separating DFAs from Labelled Samples.
FM (2)
Daniele Dell'Erba, Yong Li, Sven Schewe
2024 J jnl
DFAMiner: Mining minimal separating DFAs from labelled samples.
CoRR
Daniele Dell'Erba, Yong Li, Sven Schewe
2024 J jnl
Semantic flowers for good-for-games and deterministic automata.
Inf. Process. Lett.
Daniele Dell'Erba, Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova
2024 J jnl
Solving mean-payoff games via quasi dominions.
Inf. Comput.
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
2023 — conf
An Objective Improvement Approach to Solving Discounted Payoff Games.
GandALF
Daniele Dell'Erba, Arthur Dumas, Sven Schewe
2023 J jnl
Errata to: "Faster Deterministic Exponential Time Algorithm for Energy Games and Mean Payoff Games".
CoRR
Peter Austin, Daniele Dell'Erba
2022 J jnl
Smaller Progress Measures and Separating Automata for Parity Games.
CoRR
Daniele Dell'Erba, Sven Schewe
2022 J jnl
Smaller progress measures and separating automata for parity games.
Frontiers Comput. Sci.
Daniele Dell'Erba, Sven Schewe
2021 J jnl
Priority Promotion with Parysian Flair.
CoRR
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, Sven Schewe, Dominik Wojtczak
2020 J jnl
From Quasi-Dominions to Progress Measures.
CoRR
Massimo Benerecetti, Daniele Dell'Erba, Marco Faella, Fabio Mogavero
2020 J jnl
Robust worst cases for parity games algorithms.
Inf. Comput.
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
2020 — conf
Solving Mean-Payoff Games via Quasi Dominions.
TACAS (2)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
2019 — —
Solving Infinite Games on Graphs via Quasi Dominions.
Daniele Dell'Erba
2019 J jnl
Solving Mean-Payoff Games via Quasi Dominions.
CoRR
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
2018 J jnl
A delayed promotion policy for parity games.
Inf. Comput.
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
2018 J jnl
Solving parity games via priority promotion.
Formal Methods Syst. Des.
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
2017 — conf
Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games.
GandALF
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
2016 — conf
A Delayed Promotion Policy for Parity Games.
GandALF
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
2016 — conf
Improving Priority Promotion for Parity Games.
Haifa Verification Conference
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
2016 — conf
Solving Parity Games via Priority Promotion.
CAV (2)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero