• Submitted
    1. On inequality decision problems for low-order holonomic sequences
    2. with George Kenison, Oleksiy Klurman, Florian Luca, Pieter Moree, Joël Ouaknine, Markus Whiteland, and James Worrell.
    3. Approximate Diagnosis and Opacity of Stochastic Systems.
    4. One-Clock Priced Timed Games with Arbitrary Weights
    5. with Thomas Brihaye, Gilles Geeraerts, Axel Haddad, and Benjamin Monmege.
    6. On the Monniaux Problem in Abstract Interpretation
    7. with Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, and James Worrell.
    8. The Orbit Problem for parametric linear dynamical systems
    9. with Christel Baier, Florian Funke, Simon Jantsch, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland and James Worrell.
    10. Porous invariants
    11. with Joël Ouaknine, David Purser and James Worrell.

    The published papers below are grouped by topics. See also my dblp.

  • Linear Dynamical Systems
    1. Reachability in dynamical systems with rounding
    2. with Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Joël Ouaknine, Amaury Pouly, David Purser, and Markus A. Whiteland, FSTTCS 2020.
    3. On the Monniaux Problem in abstract interpretation
    4. with Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, and James Worrell, SAS 2019.
    5. How fast can you escape a compact polytope?
    6. with Julian D'Costa, Joël Ouaknine, and James Worrell, STACS 2020.

  • Partially Observable Probabilistic Systems
    1. Controlling information in Probabilistic Systems.
    2. PhD thesis.
    3. A Tale of Two Diagnoses in Probabilistic Systems
    4. with Nathalie Bertrand and Serge Haddad, Information and Computation.
    5. Diagnosability of repairable faults
    6. with Eric Fabre, Loïc Hélouët and Hervé Marchand, DEDS.
    7. Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis
    8. with Alessandro Giua and Carla Seatzu, Petri Nets 2018.
    9. Diagnosis and Degradation Control for Probabilistic Systems
    10. with Nathalie Bertrand and Serge Haddad, DEDS.
    11. Probabilistic Disclosure: Maximisation vs. Minimisation
    12. with Béatrice Bérard and Serge Haddad, FSTTCS 2017.
    13. Diagnostic et contrôle de la dégradation des systèmes probabilistes
    14. with Nathalie Bertrand and Serge Haddad, MSR 2017 (Best young researcher paper award).
    15. Diagnosis in Infinite-State Probabilistic Systems
    16. with Nathalie Bertrand and Serge Haddad, CONCUR 2016.
    17. Accurate Approximate Diagnosability of Stochastic Systems
    18. with Nathalie Bertrand and Serge Haddad, LATA 2016.
    19. Diagnosability of repairable faults
    20. with Eric Fabre, Loïc Hélouët and Hervé Marchand, WODES 2016.
    21. Foundation of Diagnosis and Predictability in Probabilistic Systems
    22. with Nathalie Bertrand and Serge Haddad, FSTTCS 2014.

  • Priced Timed Games
    1. Simple Priced Timed Games Are Not That Simple
    2. with Thomas Brihaye, Gilles Geeraerts, Axel Haddad and Benjamin Monmege, FSTTCS 2015.