Follow
Hugo Gimbert
Hugo Gimbert
chargé de recherche au CNRS, LaBRI, Bordeaux
Verified email at labri.fr
Title
Cited by
Cited by
Year
Probabilistic automata on finite words: Decidable and undecidable problems
H Gimbert, Y Oualhadj
Automata, Languages and Programming: 37th International Colloquium, ICALP …, 2010
1292010
Games where you can play optimally without any memory
H Gimbert, W Zielonka
International Conference on Concurrency Theory, 428-442, 2005
1002005
Qualitative determinacy and decidability of stochastic games with signals
N Bertrand, B Genest, H Gimbert
Journal of the ACM (JACM) 64 (5), 1-48, 2017
672017
When can you play positionally?
H Gimbert, W Zielonka
International Symposium on Mathematical Foundations of Computer Science, 686-697, 2004
672004
Deciding the value 1 problem for probabilistic leaktight automata
N Fijalkow, H Gimbert, E Kelmendi, Y Oualhadj
Logical Methods in Computer Science 11, 2015
522015
Randomness for free
K Chatterjee, L Doyen, H Gimbert, TA Henzinger
Mathematical Foundations of Computer Science 2010: 35th International …, 2010
502010
Asynchronous games over tree architectures
B Genest, H Gimbert, A Muscholl, I Walukiewicz
Automata, Languages, and Programming: 40th International Colloquium, ICALP …, 2013
492013
Pure stationary optimal strategies in Markov decision processes
H Gimbert
STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science …, 2007
462007
Simple stochastic games with few random vertices are easy to solve
H Gimbert, F Horn
Foundations of Software Science and Computational Structures: 11th …, 2008
412008
Solving simple stochastic tail games
H Gimbert, F Horn
Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete …, 2010
402010
Optimal Zielonka-type construction of deterministic asynchronous automata
B Genest, H Gimbert, A Muscholl, I Walukiewicz
Automata, Languages and Programming: 37th International Colloquium, ICALP …, 2010
312010
On (subgame perfect) secure equilibrium in quantitative reachability games
T Brihaye, V Bruyère, J De Pril, H Gimbert
Logical Methods in Computer Science 9, 2013
292013
Controlling a population
N Bertrand, M Dewaskar, B Genest, H Gimbert, AA Godbole
Logical Methods in Computer Science 15, 2019
262019
Rhoban football club: Robocup humanoid kid-size 2016 champion team paper
J Allali, L Deguillaume, R Fabre, L Gondry, L Hofer, O Ly, S N’Guyen, ...
RoboCup 2016: Robot World Cup XX 20, 491-502, 2017
242017
Jeux positionnels
H Gimbert
Paris 7, 2006
242006
Parity and exploration games on infinite graphs
H Gimbert
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual …, 2004
222004
Perfect-information stochastic mean-payoff parity games
K Chatterjee, L Doyen, H Gimbert, Y Oualhadj
International Conference on Foundations of Software Science and Computation …, 2014
202014
Limits of multi-discounted markov decision processes
H Gimbert, W Zielonka
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 89-98, 2007
192007
Perfect information stochastic priority games
H Gimbert, W Zielonka
International Colloquium on Automata, Languages, and Programming, 850-861, 2007
192007
Games on graphs
N Fijalkow, N Bertrand, P Bouyer-Decitre, R Brenguier, A Carayol, ...
arXiv preprint arXiv:2305.10546, 2023
182023
The system can't perform the operation now. Try again later.
Articles 1–20