Optimal transformations of games and automata using Muller conditions A Casares, T Colcombet, N Fijalkow 48th International Colloquium on Automata, Languages, and Programming (ICALP …, 2021 | 22 | 2021 |
On the minimisation of transition-based Rabin automata and the chromatic memory requirements of Muller conditions A Casares arXiv preprint arXiv:2105.12009, 2021 | 17 | 2021 |
On the size of good-for-games Rabin automata and its link with the memory in Muller games A Casares, T Colcombet, K Lehtinen arXiv preprint arXiv:2204.11333, 2022 | 15 | 2022 |
Practical applications of the alternating cycle decomposition A Casares, A Duret-Lutz, KJ Meyer, F Renkin, S Sickert International Conference on Tools and Algorithms for the Construction and …, 2022 | 14 | 2022 |
Half-Positional Objectives Recognized by Deterministic B\" uchi Automata P Bouyer, A Casares, M Randour, P Vandenhove arXiv preprint arXiv:2205.01365, 2022 | 10 | 2022 |
Characterising memory in infinite games A Casares, P Ohlmann arXiv preprint arXiv:2209.12044, 2022 | 3 | 2022 |
From Muller to parity and Rabin automata: Optimal transformations preserving (History) determinism A Casares, T Colcombet, N Fijalkow, K Lehtinen TheoretiCS 3, 2024 | 2 | 2024 |
Optimal transformations of Muller conditions A Casares, T Colcombet, N Fijalkow arXiv preprint arXiv:2011.13041, 2020 | 1 | 2020 |
Half-positional -regular languages A Casares, P Ohlmann arXiv preprint arXiv:2401.15384, 2024 | | 2024 |
The Complexity of Simplifying -Automata through the Alternating Cycle Decomposition A Casares, C Mascle arXiv preprint arXiv:2401.03811, 2024 | | 2024 |
Structural properties of automata over infinite words and memory for games A Casares Université de Bordeaux, 2023 | | 2023 |
Fast value iteration for energy games A Casares, P Ohlmann arXiv preprint arXiv:2110.07346, 2021 | | 2021 |
On the ESL algorithm for solving energy games. A Casares, P Ohlmann CoRR, 2021 | | 2021 |