| Probabilistic automata on finite words: Decidable and undecidable problems H Gimbert, Y Oualhadj International Colloquium on Automata, Languages, and Programming, 527-538, 2010 | 123 | 2010 |
| Games where you can play optimally without any memory H Gimbert, W Zielonka International Conference on Concurrency Theory, 428-442, 2005 | 68 | 2005 |
| 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 | 52 | 2017 |
| When can you play positionally? H Gimbert, W Zielonka International Symposium on Mathematical Foundations of Computer Science, 686-697, 2004 | 50 | 2004 |
| Deciding the value 1 problem for probabilistic leaktight automata N Fijalkow, H Gimbert, Y Oualhadj 2012 27th Annual IEEE Symposium on Logic in Computer Science, 295-304, 2012 | 47 | 2012 |
| Randomness for free K Chatterjee, L Doyen, H Gimbert, TA Henzinger International Symposium on Mathematical Foundations of Computer Science, 246-257, 2010 | 46 | 2010 |
| Pure stationary optimal strategies in Markov decision processes H Gimbert Annual Symposium on Theoretical Aspects of Computer Science, 200-211, 2007 | 41 | 2007 |
| Asynchronous games over tree architectures B Genest, H Gimbert, A Muscholl, I Walukiewicz International Colloquium on Automata, Languages, and Programming, 275-286, 2013 | 40 | 2013 |
| Simple stochastic games with few random vertices are easy to solve H Gimbert, F Horn International Conference on Foundations of Software Science and …, 2008 | 38 | 2008 |
| On (subgame perfect) secure equilibrium in quantitative reachability games T Brihaye, V Bruyère, J De Pril, H Gimbert arXiv preprint arXiv:1205.6346, 2012 | 33 | 2012 |
| Solving simple stochastic tail games H Gimbert, F Horn Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete …, 2010 | 33 | 2010 |
| Optimal Zielonka-type construction of deterministic asynchronous automata B Genest, H Gimbert, A Muscholl, I Walukiewicz International Colloquium on Automata, Languages, and Programming, 52-63, 2010 | 27 | 2010 |
| Jeux positionnels H Gimbert Paris 7, 2006 | 23 | 2006 |
| Parity and exploration games on infinite graphs H Gimbert International Workshop on Computer Science Logic, 56-70, 2004 | 19 | 2004 |
| Perfect information stochastic priority games H Gimbert, W Zielonka International Colloquium on Automata, Languages, and Programming, 850-861, 2007 | 18 | 2007 |
| 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 | 16 | 2014 |
| Deterministic priority mean-payoff games as limits of discounted games H Gimbert, W Zielonka International Colloquium on Automata, Languages, and Programming, 312-323, 2006 | 16 | 2006 |
| Controlling a population N Bertrand, M Dewaskar, B Genest, H Gimbert, AA Godbole arXiv preprint arXiv:1807.00893, 2018 | 14 | 2018 |
| 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 | 14 | 2007 |
| Solving simple stochastic games with few random vertices F Horn, H Gimbert Logical Methods in Computer Science 5, 2009 | 13 | 2009 |
youssouf oualhadjLACL, UPECVerified email at lacl.fr
