Daniele Dell'Erba

Sven Schewe

Qiyi Tang

Tansholpan Zhanabekova

Inf. Process. Lett., March, 2024

2023

Errata to: "Faster Deterministic Exponential Time Algorithm for Energy Games and Mean Payoff Games".

[BibT_eX]

[DOI]

Peter Austin

CoRR, 2023

An Objective Improvement Approach to Solving Discounted Payoff Games.

[BibT_eX]

[DOI]

Arthur Dumas

Sven Schewe

Proceedings of the Fourteenth International Symposium on Games, 2023

2022

Smaller progress measures and separating automata for parity games.

[BibT_eX]

[DOI]

Sven Schewe

Frontiers Comput. Sci., 2022

2021

Priority Promotion with Parysian Flair.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Robust worst cases for parity games algorithms.

[BibT_eX]

[DOI]

Inf. Comput., 2020

From Quasi-Dominions to Progress Measures.

[BibT_eX]

[DOI]

CoRR, 2020

Solving Mean-Payoff Games via Quasi Dominions.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

Solving Infinite Games on Graphs via Quasi Dominions.

[BibT_eX]

[DOI]

PhD thesis, 2019

2018

Solving parity games via priority promotion.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2018

2017

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

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

2016

A Delayed Promotion Policy for Parity Games.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Games, 2016

Improving Priority Promotion for Parity Games.

[BibT_eX]

[DOI]