You can find here links to my publications.

Research articles

2026

• The Value Problem for Weighted Timed Games with Two Clocks is Undecidable Distinguished paper
  
  with Joël Ouaknine and Isa Vialard.
  In Proceedings of FoSSaCS 2026
  PDF version: here
  Arxiv link: here
  Publication link: not yet available

2024

• Inapproximability in Weighted Timed Games
  with Joël Ouaknine.
  in Proceedings of CONCUR 2024
  also presented at RP 2024
  PDF version: here
  Publication link: here
• The 2-Dimensional Constraint Loop Problem is Decidable
  with Engel Lefaucheux, Joël Ouaknine and James Worrell
  in Proceedings of ICALP 2024
  also presented at RP 2024
  PDF version (full version): here
  Arxiv link (full version): here
  Publication link (conference version): here

Preprints:

• On Periodic and Aperiodic Optimal Strategies in Solvency Games
  with Kousha Etessami, Florian Luca, Richard Mayr, Joël Ouaknine and James Worrell.
  PDF version: here
  Arxiv link: not yet available
  Publication link: not yet available
• Surreal fields stable under exponential and logarithmic functions
  with Olivier Bournez.
  PDF version: here
  Arxiv link: here
  Publication link: not yet available
• Surreal fields stable under exponential, logarithmic, derivative and anti-derivative functions
  with Olivier Bournez.
  PDF version: here
  Arxiv link: here
  Publication link: not yet available

These

• Calculs avec la droite réelle généralisée
  supervised by Olivier Bournez.
  PDF version : here
  Publication link : not yet available

Corrigés H&K

• Annales 2021 – PSI Mathématiques et Informatique
  Lien vers le site H&K : ici
• Annales 2020 – PSI Mathématiques et Informatique
  Lien vers le site H&K : ici
• Annales 2020 – PC Mathématiques et Informatique
  Lien vers le site H&K : ici
• Annales 2019 – MP Mathématiques et Informatique
  Lien vers le site H&K : ici
• Annales 2017 – PC Mathématiques et Informatique
  Lien vers le site H&K : ici