Arnaud Carayol
Université Paris-Est Marne-la-Vallée
H-index: 17
Europe-France
Top articles of Arnaud Carayol
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Random DFA With One Added Transition | arXiv preprint arXiv:2402.06591 | Arnaud Carayol Philippe Duchon Florent Koechlin Cyril Nicaud | 2024/2/9 |
Games on graphs | arXiv preprint arXiv:2305.10546 | Nathanaël Fijalkow Nathalie Bertrand Patricia Bouyer-Decitre Romain Brenguier Arnaud Carayol | 2023/5/17 |
Pushdown Games | Games on Graphs | Arnaud Carayol Olivier Serre | 2023/5 |
One Drop of Non-Determinism in a Random Deterministic Automaton | Arnaud Carayol Philippe Duchon Florent Koechlin Cyril Nicaud | 2023 | |
Collapsible pushdown parity games | ACM Transactions on Computational Logic (TOCL) | Christopher H Broadbent Arnaud Carayol Matthew Hague Andrzej S Murawski C-H Luke Ong | 2021/7/22 |
Higher-order recursion schemes and collapsible pushdown automata: Logical properties | ACM Transactions on Computational Logic (TOCL) | Christopher H Broadbent Arnaud Carayol C-H Luke Ong Olivier Serre | 2021/5/15 |
Higher-order recursion schemes and their automata models | Arnaud Carayol Olivier Serre | 2021 | |
Weakly-unambiguous Parikh automata and their link to holonomic series | Alin Bostan Arnaud Carayol Florent Koechlin Cyril Nicaud | 2020/7/8 | |
How Good Is a Strategy in a Game with Nature? | ACM Transactions on Computational Logic (TOCL) | Arnaud Carayol Olivier Serre | 2020/2/20 |