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
16 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
11 2022 Characterising memory in infinite games A Casares, P Ohlmann
arXiv preprint arXiv:2209.12044, 2022
4 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