Daniele Dell'Erba

Qiyi Tang

Tansholpan Zhanabekova

Inf. Process. Lett., March, 2024

Solving mean-payoff games via quasi dominions.

[BibT_eX]

[DOI]

Inf. Comput., 2024

DFAMiner: Mining Minimal Separating DFAs from Labelled Samples.

[BibT_eX]

[DOI]

Yong Li

Proceedings of the Formal Methods - 26th International Symposium, 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

Proceedings of the Fourteenth International Symposium on Games, 2023

2022

Smaller progress measures and separating automata for parity games.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2022

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

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]