| 2026 | ICALP | Optimal Sequential Flows. | Hugo Gimbert, Corto Mascle, Patrick Totzke |
| 2026 | ICALP | Optimally Controlling a Random Population. | Hugo Gimbert, Corto Mascle, Patrick Totzke |
| 2025 | AAAI | Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives. | Marius Belly, Nathanal Fijalkow, Hugo Gimbert, Florian Horn, Guillermo A. Prez, Pierre Vandenhove |
| 2023 | RoboCup | Rhoban Football Club: RoboCup Humanoid Kid-Size 2023 Champion Team Paper. | Julien Allali, Adrien Boussicault, Cyprien Brocaire, Cline Dobigeon, Marc Duclusaud, Clment Gaspard, Hugo Gimbert, Loc Gondry, Olivier Ly, Grgoire Passault, Antoine Pirrone |
| 2022 | ICALP | Distributed Controller Synthesis for Deadlock Avoidance. | Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz |
| 2021 | FCT | Two-Sided Matching Markets with Strongly Correlated Preferences. | Hugo Gimbert, Claire Mathieu, Simon Mauras |
| 2018 | CONCUR | Alternating Nonzero Automata. | Paulin Fournier, Hugo Gimbert |
| 2017 | CONCUR | Controlling a Population. | Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert |
| 2017 | ICALP | Emptiness of Zero Automata Is Decidable. | Mikolaj Bojanczyk, Hugo Gimbert, Edon Kelmendi |
| 2016 | SAGT | Deciding Maxmin Reachability in Half-Blind Stochastic Games. | Edon Kelmendi, Hugo Gimbert |
| 2014 | FOSSACS | Perfect-Information Stochastic Mean-Payoff Parity Games. | Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Youssouf Oualhadj |
| 2014 | MFCS | Two Recursively Inseparable Problems for Probabilistic Automata. | Nathanal Fijalkow, Hugo Gimbert, Florian Horn, Youssouf Oualhadj |
| 2014 | SOFSEM | Deciding the Value 1 Problem for $\sharp$ -acyclic Partially Observable Markov Decision Processes. | Hugo Gimbert, Youssouf Oualhadj |
| 2013 | ICALP | Asynchronous Games over Tree Architectures. | Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz |
| 2013 | RO-MAN | An experiment of low cost entertainment robotics. | Paul Fudal, Hugo Gimbert, Loc Gondry, Ludovic Hofer, Olivier Ly, Gregoire Passault |
| 2012 | FOSSACS | Subgame Perfection for Equilibria in Quantitative Reachability Games. | Thomas Brihaye, Vronique Bruyre, Julie De Pril, Hugo Gimbert |
| 2012 | LICS | Deciding the Value 1 Problem for Probabilistic Leaktight Automata. | Nathanal Fijalkow, Hugo Gimbert, Youssouf Oualhadj |
| 2010 | ICALP | Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. | Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz |
| 2010 | ICALP | Probabilistic Automata on Finite Words: Decidable and Undecidable Problems. | Hugo Gimbert, Youssouf Oualhadj |
| 2010 | MFCS | Randomness for Free. | Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger |
| 2010 | SODA | Solving Simple Stochastic Tail Games. | Hugo Gimbert, Florian Horn |
| 2009 | LICS | Qualitative Determinacy and Decidability of Stochastic Games with Signals. | Nathalie Bertrand, Blaise Genest, Hugo Gimbert |
| 2008 | CiE | Solving Simple Stochastic Games. | Hugo Gimbert, Florian Horn |
| 2008 | FOSSACS | Simple Stochastic Games with Few Random Vertices Are Easy to Solve. | Hugo Gimbert, Florian Horn |
| 2007 | ICALP | Perfect Information Stochastic Priority Games. | Hugo Gimbert, Wieslaw Zielonka |
| 2007 | LICS | Limits of Multi-Discounted Markov Decision Processes. | Hugo Gimbert, Wieslaw Zielonka |
| 2007 | STACS | Pure Stationary Optimal Strategies in Markov Decision Processes. | Hugo Gimbert |
| 2006 | ICALP | Deterministic Priority Mean-Payoff Games as Limits of Discounted Games. | Hugo Gimbert, Wieslaw Zielonka |
| 2005 | CONCUR | Games Where You Can Play Optimally Without Any Memory. | Hugo Gimbert, Wieslaw Zielonka |
| 2004 | CSL | Parity and Exploration Games on Infinite Graphs. | Hugo Gimbert |
| 2004 | MFCS | When Can You Play Positionally? | Hugo Gimbert, Wieslaw Zielonka |