Aller au contenu principal
    
    
      
    
  
  
  
  
  
  
  
    
    
        
    
    
  
      Hugo Gimbert
  
  - Chargé de Recherches
- CNRS
- Département
- M2F
- Équipe
- Modèles et Technologies pour la Vérification
- Fonction administrative
- Responsable du Département M2F
- Page personnelle
- http://www.labri.fr/~gimbert
- Adresse E-mail
- hugo.gimbert![[at]](/modules/custom/mail_obfuscate/images/@.png) labri.fr labri.fr
- Bureau
- 275
- Tel
- +33 (0)5 40 00 84 28
Extrait de publications
  
              - 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. 2024.
- Hugo Gimbert, Corto Mascle, Patrick Totzke. Optimally Controlling a Random Population. 2024.
- Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz. Distributed controller synthesis for deadlock avoidance. 2024.
- Nathanaël Fijalkow (Dir.). Games on Graphs. pp.1-491, In press,
- Julien Allali, Adrien Boussicault, Cyprien Brocaire, Céline Dobigeon, Marc Duclusaud, et al.. Rhoban Football Club: RoboCup Humanoid Kid-Size 2023 Champion Team Paper. 26th RoboCup International Symposium (RoboCup 2025), Jul 2023, Bordeaux, France. pp.325-336,