| Probabilistic automata on finite words: Decidable and undecidable problems H Gimbert, Y Oualhadj Automata, Languages and Programming: 37th International Colloquium, ICALP …, 2010 | 122 | 2010 |
| Games where you can play optimally without any memory H Gimbert, W Zielonka International Conference on Concurrency Theory, 428-442, 2005 | 90 | 2005 |
| When can you play positionally? H Gimbert, W Zielonka International Symposium on Mathematical Foundations of Computer Science, 686-697, 2004 | 63 | 2004 |
| 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 | 61 | 2017 |
| Deciding the value 1 problem for probabilistic leaktight automata N Fijalkow, H Gimbert, E Kelmendi, Y Oualhadj Logical Methods in Computer Science 11, 2015 | 51 | 2015 |
| Randomness for free K Chatterjee, L Doyen, H Gimbert, TA Henzinger Mathematical Foundations of Computer Science 2010: 35th International …, 2010 | 49 | 2010 |
| Asynchronous games over tree architectures B Genest, H Gimbert, A Muscholl, I Walukiewicz Automata, Languages, and Programming: 40th International Colloquium, ICALP …, 2013 | 45 | 2013 |
| Pure stationary optimal strategies in Markov decision processes H Gimbert STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science …, 2007 | 45 | 2007 |
| Solving simple stochastic tail games H Gimbert, F Horn Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete …, 2010 | 41 | 2010 |
| Simple stochastic games with few random vertices are easy to solve H Gimbert, F Horn Foundations of Software Science and Computational Structures: 11th …, 2008 | 39 | 2008 |
| 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 | 30 | 2013 |
| 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 | 29 | 2010 |
| Controlling a population N Bertrand, M Dewaskar, B Genest, H Gimbert, AA Godbole Logical Methods in Computer Science 15, 2019 | 25 | 2019 |
| Jeux positionnels H Gimbert Paris 7, 2006 | 25 | 2006 |
| Parity and exploration games on infinite graphs H Gimbert Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual …, 2004 | 22 | 2004 |
| 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 | 20 | 2014 |
| Perfect information stochastic priority games H Gimbert, W Zielonka International Colloquium on Automata, Languages, and Programming, 850-861, 2007 | 18 | 2007 |
| A fully autonomous robot for putting posts for trellising vineyard with centimetric accuracy O Ly, H Gimbert, G Passault, G Baron 2015 IEEE International Conference on Autonomous Robot Systems and …, 2015 | 17 | 2015 |
| 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 | 17 | 2007 |
| Deterministic priority mean-payoff games as limits of discounted games H Gimbert, W Zielonka International Colloquium on Automata, Languages, and Programming, 312-323, 2006 | 17 | 2006 |
youssouf oualhadjLACL, UPECVerified email at lacl.fr
