Edit Profile Gimbert, Hugo Compute Distance To: Compute Author ID: gimbert.hugo Published as: Gimbert, Hugo Documents Indexed: 34 Publications since 2004 all top 5 Co-Authors 4 single-authored 8 Zielonka, Wiesław 6 Oualhadj, Youssouf 5 Genest, Blaise 5 Horn, Florian 4 Fijalkow, Nathanaël 4 Kelmendi, Edon 3 Bertrand, Nathalie 3 Chatterjee, Krishnendu 3 Doyen, Laurent 2 Brihaye, Thomas 2 Bruyère, Véronique 2 De Pril, Julie 2 Dewaskar, Miheer 2 Henzinger, Thomas A. 2 Muscholl, Anca 2 Walukiewicz, Igor 1 Bojańczyk, Mikołaj 1 Godbole, Adwait Amit 1 Kuperberg, Denis 1 Renault, Jérôme 1 Sorin, Sylvain 1 Venel, Xavier Serials 4 Logical Methods in Computer Science 1 Information and Computation 1 The Annals of Applied Probability 1 International Journal of Foundations of Computer Science 1 Journal of the ACM all top 5 Fields 26 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 22 Computer science (68-XX) 3 Operations research, mathematical programming (90-XX) 3 Systems theory; control (93-XX) 2 Mathematical logic and foundations (03-XX) 1 Probability theory and stochastic processes (60-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 23 Publications have been cited 119 times in 84 Documents Cited by ▼ Year ▼ Probabilistic automata on finite words: decidable and undecidable problems. Zbl 1288.68156Gimbert, Hugo; Oualhadj, Youssouf 20 2010 Asynchronous games over tree architectures. Zbl 1334.68150Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor 10 2013 Optimal Zielonka-type construction of deterministic asynchronous automata. Zbl 1288.68154Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor 9 2010 Randomness for free. Zbl 1287.91027Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A. 9 2010 Games where you can play optimally without any memory. Zbl 1134.68438Gimbert, Hugo; Zielonka, Wiesław 9 2005 Deciding the value 1 problem for probabilistic leaktight automata. Zbl 1360.68553Fijalkow, Nathanaël; Gimbert, Hugo; Oualhadj, Youssouf 8 2012 Subgame perfection for equilibria in quantitative reachability games. Zbl 1352.68146Brihaye, Thomas; Bruyère, Véronique; De Pril, Julie; Gimbert, Hugo 7 2012 Deciding the value 1 problem for probabilistic leaktight automata. Zbl 1391.68081Fijalkow, Nathanaël; Gimbert, Hugo; Kelmendi, Edon; Oualhadj, Youssouf 6 2015 Simple stochastic games with few random vertices are easy to solve. Zbl 1138.91337Gimbert, Hugo; Horn, Florian 6 2008 When can you play positionally? Zbl 1097.91022Gimbert, Hugo; Zielonka, Wiesław 6 2004 Qualitative determinacy and decidability of stochastic games with signals. Zbl 1427.91022Bertrand, Nathalie; Genest, Blaise; Gimbert, Hugo 5 2017 On (subgame perfect) secure equilibrium in quantitative reachability games. Zbl 1260.91038Brihaye, Thomas; Bruyère, Véronique; De Pril, Julie; Gimbert, Hugo 4 2013 On values of repeated games with signals. Zbl 1332.91023Gimbert, Hugo; Renault, Jérôme; Sorin, Sylvain; Venel, Xavier; Zielonka, Wiesław 3 2016 Solving simple stochastic tail games. Zbl 1288.91020Gimbert, Hugo; Horn, Florian 3 2010 Perfect-information stochastic mean-payoff parity games. Zbl 1405.68225Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Oualhadj, Youssouf 2 2014 Solving simple stochastic games with few random vertices. Zbl 1163.91318Gimbert, Hugo; Horn, Florian 2 2009 Perfect information stochastic priority games. Zbl 1171.91315Gimbert, Hugo; Zielonka, Wiesław 2 2007 Pure stationary optimal strategies in Markov decision processes. Zbl 1186.93043Gimbert, Hugo 2 2007 Deterministic priority mean-payoff games as limits of discounted games. Zbl 1133.91318Gimbert, Hugo; Zielonka, Wiesław 2 2006 Deciding maxmin reachability in half-blind stochastic games. Zbl 1403.91033Kelmendi, Edon; Gimbert, Hugo 1 2016 Deciding the value 1 problem for \(\sharp\)-acyclic partially observable Markov decision processes. Zbl 1435.91022Gimbert, Hugo; Oualhadj, Youssouf 1 2014 Solving simple stochastic games. Zbl 1142.91332Gimbert, Hugo; Horn, Florian 1 2008 Parity and exploration games on infinite graphs. Zbl 1095.91004Gimbert, Hugo 1 2004 Qualitative determinacy and decidability of stochastic games with signals. Zbl 1427.91022Bertrand, Nathalie; Genest, Blaise; Gimbert, Hugo 5 2017 On values of repeated games with signals. Zbl 1332.91023Gimbert, Hugo; Renault, Jérôme; Sorin, Sylvain; Venel, Xavier; Zielonka, Wiesław 3 2016 Deciding maxmin reachability in half-blind stochastic games. Zbl 1403.91033Kelmendi, Edon; Gimbert, Hugo 1 2016 Deciding the value 1 problem for probabilistic leaktight automata. Zbl 1391.68081Fijalkow, Nathanaël; Gimbert, Hugo; Kelmendi, Edon; Oualhadj, Youssouf 6 2015 Perfect-information stochastic mean-payoff parity games. Zbl 1405.68225Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Oualhadj, Youssouf 2 2014 Deciding the value 1 problem for \(\sharp\)-acyclic partially observable Markov decision processes. Zbl 1435.91022Gimbert, Hugo; Oualhadj, Youssouf 1 2014 Asynchronous games over tree architectures. Zbl 1334.68150Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor 10 2013 On (subgame perfect) secure equilibrium in quantitative reachability games. Zbl 1260.91038Brihaye, Thomas; Bruyère, Véronique; De Pril, Julie; Gimbert, Hugo 4 2013 Deciding the value 1 problem for probabilistic leaktight automata. Zbl 1360.68553Fijalkow, Nathanaël; Gimbert, Hugo; Oualhadj, Youssouf 8 2012 Subgame perfection for equilibria in quantitative reachability games. Zbl 1352.68146Brihaye, Thomas; Bruyère, Véronique; De Pril, Julie; Gimbert, Hugo 7 2012 Probabilistic automata on finite words: decidable and undecidable problems. Zbl 1288.68156Gimbert, Hugo; Oualhadj, Youssouf 20 2010 Optimal Zielonka-type construction of deterministic asynchronous automata. Zbl 1288.68154Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor 9 2010 Randomness for free. Zbl 1287.91027Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A. 9 2010 Solving simple stochastic tail games. Zbl 1288.91020Gimbert, Hugo; Horn, Florian 3 2010 Solving simple stochastic games with few random vertices. Zbl 1163.91318Gimbert, Hugo; Horn, Florian 2 2009 Simple stochastic games with few random vertices are easy to solve. Zbl 1138.91337Gimbert, Hugo; Horn, Florian 6 2008 Solving simple stochastic games. Zbl 1142.91332Gimbert, Hugo; Horn, Florian 1 2008 Perfect information stochastic priority games. Zbl 1171.91315Gimbert, Hugo; Zielonka, Wiesław 2 2007 Pure stationary optimal strategies in Markov decision processes. Zbl 1186.93043Gimbert, Hugo 2 2007 Deterministic priority mean-payoff games as limits of discounted games. Zbl 1133.91318Gimbert, Hugo; Zielonka, Wiesław 2 2006 Games where you can play optimally without any memory. Zbl 1134.68438Gimbert, Hugo; Zielonka, Wiesław 9 2005 When can you play positionally? Zbl 1097.91022Gimbert, Hugo; Zielonka, Wiesław 6 2004 Parity and exploration games on infinite graphs. Zbl 1095.91004Gimbert, Hugo 1 2004 all cited Publications top 5 cited Publications all top 5 Cited by 138 Authors 15 Chatterjee, Krishnendu 7 Doyen, Laurent 7 Henzinger, Thomas A. 6 Avni, Guy 6 Gimbert, Hugo 5 Muscholl, Anca 4 Boros, Endre 4 Elbassioni, Khaled M. 4 Gurvich, Vladimir A. 4 Kupferman, Orna 4 Makino, Kazuhisa 3 Brihaye, Thomas 3 Bruyère, Véronique 3 Chmelík, Martin 3 Fijalkow, Nathanaël 3 Jobstmann, Barbara 3 Randour, Mickael 3 Raskin, Jean-François 2 Bérard, Béatrice 2 Bertrand, Nathalie 2 Bouyer, Patricia 2 Chadha, Rohit 2 Dewaskar, Miheer 2 Faella, Marco 2 Finkbeiner, Bernd 2 Flesch, Janos 2 Genest, Blaise 2 Guha, Shibashis 2 Ibsen-Jensen, Rasmus 2 Kelmendi, Edon 2 Olderog, Ernst-Rüdiger 2 Predtetchinski, Arkadi 2 Schewe, Sven 2 Singh, Rohit R. 2 Sistla, Aravinda Prasad 2 Tracol, Mathieu 2 Viswanathan, Mahesh 1 Abbes, Samy 1 Alur, Rajeev 1 Aminof, Benjamin 1 Basset, Nicolas 1 Basu, Samik 1 Baudru, Nicolas 1 Ben, Yue 1 Bianco, Alessandro 1 Bloem, Roderick 1 Bogaerts, Bart 1 Bollig, Benedikt 1 Bradfield, Julian Charles 1 Brožek, Václav 1 Bultan, Tevfik 1 Chonev, Ventsislav 1 Crocce, Fabián 1 Daca, Przemysław 1 Dai, Decheng 1 Dal Lago, Ugo 1 de Alfaro, Luca 1 De Pril, Julie 1 Degorre, Aldric 1 Denecker, Marc 1 Filiot, Emmanuel 1 Fischer, Diana 1 Fouz, Mahmoud 1 Ge, Rong 1 Geeraerts, Gilles 1 Gieseking, Manuel 1 Godbole, Adwait Amit 1 Goeminne, Aline 1 Goubault-Larrecq, Jean 1 Grädel, Erich 1 Grellois, Charles 1 Grindei, Manuela-Lidia 1 Habermehl, Peter 1 Haddad, Axel 1 Haddad, Serge 1 Hahn, Ernst Moritz 1 Hecking-Harbusch, Jesko 1 Hermanns, Holger 1 Horn, Florian 1 Huang, Lei 1 Kahn, David M. 1 Kaiser, Lukasz 1 Kobayashi, Naoki 1 Krčál, Jan 1 Krishna, Siddharth 1 Kumar, V. S. Anil 1 Kuperberg, Denis 1 Kwiatkowska, Marta Z. 1 Larsen, Kim Guldstrand 1 Laursen, Simon 1 Lefaucheux, Engel 1 Leroux, Stéphane 1 Maler, Oded 1 Manthey, Bodo 1 Markey, Nicolas 1 Marynissen, Simon 1 Massart, Thierry Jacques 1 Metzger, Niklas O. 1 Michalewski, Henryk 1 Mio, Matteo ...and 38 more Authors all top 5 Cited in 22 Serials 12 Information and Computation 10 Theoretical Computer Science 4 Acta Informatica 4 Journal of Computer and System Sciences 3 Formal Methods in System Design 3 Logical Methods in Computer Science 2 International Journal of Game Theory 2 Algorithmica 2 Theory of Computing Systems 1 Artificial Intelligence 1 Discrete Applied Mathematics 1 Information Processing Letters 1 Operations Research Letters 1 Games and Economic Behavior 1 Annals of Mathematics and Artificial Intelligence 1 Journal of the ACM 1 Theory and Practice of Logic Programming 1 ACM Transactions on Computational Logic 1 Journal of Discrete Algorithms 1 RAIRO. Theoretical Informatics and Applications 1 Games 1 Journal of Dynamics and Games all top 5 Cited in 6 Fields 66 Computer science (68-XX) 49 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 9 Operations research, mathematical programming (90-XX) 7 Combinatorics (05-XX) 6 Mathematical logic and foundations (03-XX) 2 Systems theory; control (93-XX) Citations by Year