Optimal transformations of Muller conditions A Casares, T Colcombet, N Fijalkow
arXiv preprint arXiv:2011.13041, 2020
25 2020 On the minimisation of transition-based Rabin automata and the chromatic memory requirements of Muller conditions A Casares
arXiv preprint arXiv:2105.12009, 2021
21 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
18 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
17 2022 Half-Positional Objectives Recognized by Deterministic B\" uchi Automata P Bouyer, A Casares, M Randour, P Vandenhove
Logical Methods in Computer Science 20, 2024
14 2024 Structural properties of automata over infinite words and memory for games.(Propriétés structurelles des automates sur les mots infinis et mémoire pour les jeux). A Casares
University of Bordeaux, France, 2023
8 2023 Characterising memory in infinite games A Casares, P Ohlmann
arXiv preprint arXiv:2209.12044, 2022
7 2022 From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism A Casares, T Colcombet, N Fijalkow, K Lehtinen
TheoretiCS 3, 2024
6 2024 Positional ω-regular languages A Casares, P Ohlmann
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer …, 2024
3 2024 The Complexity of Simplifying -Automata through the Alternating Cycle Decomposition A Casares, C Mascle
arXiv preprint arXiv:2401.03811, 2024
1 2024 On the ESL algorithm for solving energy games. A Casares, P Ohlmann
CoRR, 2021
1 2021 A positional -complete objective A Casares, P Ohlmann, P Vandenhove
arXiv preprint arXiv:2410.14688, 2024
2024 On the Minimisation of Deterministic and History-Deterministic Generalised (co) B\" uchi Automata A Casares, O Idir, D Kuperberg, C Mascle, A Prakash
arXiv preprint arXiv:2407.18090, 2024
2024 Half-positional -regular languages A Casares, P Ohlmann
arXiv preprint arXiv:2401.15384, 2024
2024 Positional 𝜔-regular languages A Casares, P Ohlmann
2024 A positional Π^ 0_3-complete objective A Casares, P Ohlmann, P Vandenhove
arXiv preprint arXiv:2410.14688, 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 A positional Π0 A Casares, P Ohlmann, P Vandenhove
Program for Highlights and Jewels of Automata Theory 2024 M Droste, J Almeida, P Bouyer, V Bruyère, T Colcombet, L Doyen, ...