Suivre
Antonio Casares
Antonio Casares
Adresse e-mail validée de mimuw.edu.pl - Page d'accueil
Titre
Citée par
Citée par
Année
Optimal transformations of Muller conditions
A Casares, T Colcombet, N Fijalkow
arXiv preprint arXiv:2011.13041, 2020
252020
On the minimisation of transition-based Rabin automata and the chromatic memory requirements of Muller conditions
A Casares
arXiv preprint arXiv:2105.12009, 2021
212021
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
182022
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
172022
Half-Positional Objectives Recognized by Deterministic B\" uchi Automata
P Bouyer, A Casares, M Randour, P Vandenhove
Logical Methods in Computer Science 20, 2024
142024
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
82023
Characterising memory in infinite games
A Casares, P Ohlmann
arXiv preprint arXiv:2209.12044, 2022
72022
From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism
A Casares, T Colcombet, N Fijalkow, K Lehtinen
TheoretiCS 3, 2024
62024
Positional ω-regular languages
A Casares, P Ohlmann
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer …, 2024
32024
The Complexity of Simplifying -Automata through the Alternating Cycle Decomposition
A Casares, C Mascle
arXiv preprint arXiv:2401.03811, 2024
12024
On the ESL algorithm for solving energy games.
A Casares, P Ohlmann
CoRR, 2021
12021
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, ...
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20