Hugo Gimbert

According to our database, Hugo Gimbert authored at least 54 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Submixing and shift-invariant stochastic games.

Hugo Gimbert, Edon Kelmendi

Int. J. Game Theory, December, 2023

Games on Graphs.

Nathanaël Fijalkow, Nathalie Bertrand, Patricia Bouyer-Decitre, Romain Brenguier, Arnaud Carayol, John Fearnley, Hugo Gimbert, Florian Horn, Rasmus Ibsen-Jensen, Nicolas Markey, Benjamin Monmege, Petr Novotný, Mickael Randour, Ocan Sankur, Sylvain Schmitz, Olivier Serre, Mateusz Skomra

CoRR, 2023

Rhoban Football Club: RoboCup Humanoid Kid-Size 2023 Champion Team Paper.

Julien Allali, Adrien Boussicault, Cyprien Brocaire, Céline Dobigeon, Marc Duclusaud, Clément Gaspard, Hugo Gimbert, Loïc Gondry, Olivier Ly, Grégoire Passault, Antoine Pirrone

Proceedings of the RoboCup 2023: Robot World Cup XXVI [Bordeaux, France, 4-10 July, 2023]., 2023

2022

Distributed Asynchronous Games With Causal Memory are Undecidable.

Hugo Gimbert

Log. Methods Comput. Sci., 2022

Distributed Controller Synthesis for Deadlock Avoidance.

Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

2021

Constrained School Choice with Incomplete Information.

Hugo Gimbert, Claire Mathieu, Simon Mauras

CoRR, 2021

Two-Sided Matching Markets with Strongly Correlated Preferences.

Hugo Gimbert, Claire Mathieu, Simon Mauras

Proceedings of the Fundamentals of Computation Theory - 23rd International Symposium, 2021

2020

A Bridge between Polynomial Optimization and Games with Imperfect Recall.

Hugo Gimbert, Soumyajit Paul, B. Srivathsan

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Controlling a population.

Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Amit Godbole

Log. Methods Comput. Sci., 2019

On popularity-based random matching markets.

Hugo Gimbert, Claire Mathieu, Simon Mauras

CoRR, 2019

2018

Alternating Nonzero Automata.

Paulin Fournier, Hugo Gimbert

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Qualitative Determinacy and Decidability of Stochastic Games with Signals.

Nathalie Bertrand, Blaise Genest, Hugo Gimbert

J. ACM, 2017

A short proof of correctness of the quasi-polynomial time algorithm for parity games.

Hugo Gimbert, Rasmus Ibsen-Jensen

CoRR, 2017

Stamina: Stabilisation Monoids in Automata Theory.

Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Denis Kuperberg

Proceedings of the Implementation and Application of Automata, 2017

Emptiness of Zero Automata Is Decidable.

Mikolaj Bojanczyk, Hugo Gimbert, Edon Kelmendi

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

On the Control of Asynchronous Automata.

Hugo Gimbert

Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

Controlling a Population.

Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Online Reinforcement Learning for Real-Time Exploration in Continuous State and Action Markov Decision Processes.

Ludovic Hofer, Hugo Gimbert

CoRR, 2016

Pure and Stationary Optimal Strategies in Perfect-Information Stochastic Games with Global Preferences.

Hugo Gimbert, Wieslaw Zielonka

CoRR, 2016

A Class of Zielonka Automata with a Decidable Controller Synthesis Problem.

Hugo Gimbert

CoRR, 2016

Deciding Maxmin Reachability in Half-Blind Stochastic Games.

Edon Kelmendi, Hugo Gimbert

Proceedings of the Algorithmic Game Theory - 9th International Symposium, 2016

2015

Randomness for free.

Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger

Inf. Comput., 2015

Deciding the value 1 problem for probabilistic leaktight automata.

Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Youssouf Oualhadj

Log. Methods Comput. Sci., 2015

A Fully Autonomous Robot for Putting Posts for Trellising Vineyard with Centimetric Accuracy.

Olivier Ly, Hugo Gimbert, Gregoire Passault, Gerald Baron

Proceedings of the 2015 IEEE International Conference on Autonomous Robot Systems and Competitions, 2015

2014

On the values of repeated games with signals.

Hugo Gimbert, Jérôme Renault, Sylvain Sorin, Xavier Venel, Wieslaw Zielonka

CoRR, 2014

Two-Player Perfect-Information Shift-Invariant Submixing Stochastic Games Are Half-Positional.

Hugo Gimbert, Edon Kelmendi

CoRR, 2014

Deciding the Value 1 Problem for $\sharp$ -acyclic Partially Observable Markov Decision Processes.

Hugo Gimbert, Youssouf Oualhadj

Proceedings of the SOFSEM 2014: Theory and Practice of Computer Science, 2014

Two Recursively Inseparable Problems for Probabilistic Automata.

Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Youssouf Oualhadj

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Perfect-Information Stochastic Mean-Payoff Parity Games.

Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Youssouf Oualhadj

Proceedings of the Foundations of Software Science and Computation Structures, 2014

2013

An experiment of low cost entertainment robotics.

Paul Fudal, Hugo Gimbert, Loïc Gondry, Ludovic Hofer, Olivier Ly, Gregoire Passault

Proceedings of the IEEE International Symposium on Robot and Human Interactive Communication, 2013

Asynchronous Games over Tree Architectures.

Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

2012

Blackwell Optimal Strategies in Priority mean-Payoff Games.

Hugo Gimbert, Wieslaw Zielonka

Int. J. Found. Comput. Sci., 2012

On Subgame Perfection in Quantitative Reachability Games

Thomas Brihaye, Véronique Bruyère, Julie De Pril, Hugo Gimbert

Log. Methods Comput. Sci., 2012

Deciding the Value 1 Problem for Probabilistic Leaktight Automata.

Nathanaël Fijalkow, Hugo Gimbert, Youssouf Oualhadj

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Subgame Perfection for Equilibria in Quantitative Reachability Games.

Thomas Brihaye, Véronique Bruyère, Julie De Pril, Hugo Gimbert

Proceedings of the Foundations of Software Science and Computational Structures, 2012

2011

A Class of Probabilistic Automata with a Decidable Value 1 Problem

Nathanaël Fijalkow, Hugo Gimbert, Youssouf Oualhadj

CoRR, 2011

Pushing undecidability of the isolation problem for probabilistic automata

Nathanaël Fijalkow, Hugo Gimbert, Youssouf Oualhadj

CoRR, 2011

2010

Solving Simple Stochastic Tail Games.

Hugo Gimbert, Florian Horn

Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, 2010

Probabilistic Automata on Finite Words: Decidable and Undecidable Problems.

Hugo Gimbert, Youssouf Oualhadj

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata.

Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

2009

Solving Simple Stochastic Games with Few Random Vertices

Hugo Gimbert, Florian Horn

, 2009

2008

Optimal Strategies in Perfect-Information Stochastic Games with Tail Winning Conditions

Florian Horn, Hugo Gimbert

CoRR, 2008

Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides

Nathalie Bertrand, Blaise Genest, Hugo Gimbert

CoRR, 2008

Simple Stochastic Games with Few Random Vertices Are Easy to Solve.

Hugo Gimbert, Florian Horn

Proceedings of the Foundations of Software Science and Computational Structures, 2008

Solving Simple Stochastic Games.

Hugo Gimbert, Florian Horn

Proceedings of the Logic and Theory of Algorithms, 2008

Applying Blackwell optimality: priority mean-payoff games as limits of multi-discounted games.

Hugo Gimbert, Wieslaw Zielonka

Proceedings of the Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]., 2008

2007

Pure Stationary Optimal Strategies in Markov Decision Processes.

Hugo Gimbert

Proceedings of the STACS 2007, 2007

Limits of Multi-Discounted Markov Decision Processes.

Hugo Gimbert, Wieslaw Zielonka

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Perfect Information Stochastic Priority Games.

Hugo Gimbert, Wieslaw Zielonka

Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007

2006

Deterministic Priority Mean-Payoff Games as Limits of Discounted Games.

Hugo Gimbert, Wieslaw Zielonka

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2005

Games Where You Can Play Optimally Without Any Memory.

Hugo Gimbert, Wieslaw Zielonka

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

Discounting Infinite Games But How and Why?

Hugo Gimbert, Wieslaw Zielonka

Proceedings of the Workshop on Games in Design and Verification, 2004

When Can You Play Positionally?

Hugo Gimbert, Wieslaw Zielonka

Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

Parity and Exploration Games on Infinite Graphs.

Hugo Gimbert

Proceedings of the Computer Science Logic, 18th International Workshop, 2004