Skip to main content
Hugo Gimbert
- Chargé de Recherches
- CNRS
- Department
- M2F
- Team
- Modèles et Technologies pour la Vérification
- Administrative function
- Responsable du Département M2F
- Personal page
- http://www.labri.fr/~gimbert
- E-mail address
- hugo.gimbert
labri.fr - Office
- 275
- Tel
- +33 (0)5 40 00 84 28
Excerpt from publications
- Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz. Distributed controller synthesis for deadlock avoidance. Logical Methods in Computer Science, 2025, 21 (3),
- Laurent Bienvenu, Hugo Gimbert, Subin Pulari. A Markov-Chain Characterization of Finite-State Dimension and a Generalization of Agafonov's Theorem. 2025.
- Laurent Bienvenu, Hugo Gimbert, Subin Pulari. The Agafonov and Schnorr-Stimm theorems for probabilistic automata. 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2025), Dec 2025, Goa, India.
- Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo Alberto Pérez, et al.. Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives. 39th AAAI Conference on Artificial Intelligence (AAAI-25), Feb 2025, Philadelphie, PA, United States. pp.26454-26462,
- Hugo Gimbert, Corto Mascle, Patrick Totzke. Optimally Controlling a Random Population. 2024.