My research interests lie in the intersection of logic, formal languages and games on graphs. In particular, I am currently studying properties of ω-automata (minimisation, transformations, positionality of ω-regular languages...), as well as algorithms for solving infinite duration games.
Slides (To be opened in a browser. Visualization in different browsers/computers might slightly differ.)
Research
A full list of my publications can also be found in my dblp and Google Scholar sites.
Conferences
Simple and Tight Complexity Lower Bounds for Solving Rabin Games (with Marcin Pilipczuk, Michał Pilipczuk, Uéverton S. Souza, K. S. Thejaswini). To appear in: SOSA 2024 - pdf - bibtex.
Half-Positional Objectives Recognized by Deterministic Büchi Automata (with Patricia Bouyer, Mickael Randour and Pierre Vandenhove). In: CONCUR 2022 - short version - full version - bibtex.
On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games (with Thomas Colcombet and Karoliina Lehtinen). In: ICALP 2022 - pdf - bibtex.
Practical Applications of the Alternating Cycle Decomposition (with Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin and Salomon Sickert). In: TACAS 2022 - full version - bibtex.
On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions. In: CSL 2022 - short version - full version - bibtex. Best Student Paper Award.
Optimal Transformations of Games and Automata using Muller Conditions (with Thomas Colcombet and Nathanaël Fijalkow). In: ICALP 2021 - conf. version - journal version - bibtex.
Preprints
The Complexity of Simplifying ω-Automata through the Alternating Cycle Decomposition (with Corto Mascle), 2024 - pdf.
From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History-)Determinism (with Thomas Colcombet, Nathanaël Fijalkow and Karoliina Lehtinen), 2023 - pdf - bibtex.
Fast Value Iteration for Energy Games (with Pierre Ohlmann), 2021 - pdf - bibtex.
Talks
Some slides and other resources
Characterization of Half-Positionality for ω-Regular Languages - slides - poster.
Half-Positional Objectives Recognized by Deterministic Büchi Automata - slides.
On a Correspondence Between Memory Structures for Muller Games and Rabin Automata.- slides.
Good-For-Games Rabin Automata and the Memory Requirements of Muller Conditions.- slides- poster.
Minimisation of Transition-Based Rabin Automata - slides - poster.
Optimal Transformations of Games and Automata using Muller Conditions - slides.
Open Problem: Memory Requirements for Generalised Reachability
games - poster.