Daniele Dell'Erba

Qiyi Tang

Tansholpan Zhanabekova

Inf. Process. Lett., March, 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

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

A delayed promotion policy for parity games.

[BibT_eX]

[DOI]

Inf. Comput., 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

Improving Priority Promotion for Parity Games.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2016

Solving Parity Games via Priority Promotion.

[BibT_eX]

[DOI]