×

zbMATH — the first resource for mathematics

Gimbert, Hugo

Compute Distance To:
Author ID: gimbert.hugo Recent zbMATH articles by "Gimbert, Hugo"
Published as: Gimbert, Hugo
Documents Indexed: 34 Publications since 2004

Publications by Year

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.68156
Gimbert, Hugo; Oualhadj, Youssouf
20
2010
Asynchronous games over tree architectures. Zbl 1334.68150
Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor
10
2013
Optimal Zielonka-type construction of deterministic asynchronous automata. Zbl 1288.68154
Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor
9
2010
Randomness for free. Zbl 1287.91027
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A.
9
2010
Games where you can play optimally without any memory. Zbl 1134.68438
Gimbert, Hugo; Zielonka, Wiesław
9
2005
Deciding the value 1 problem for probabilistic leaktight automata. Zbl 1360.68553
Fijalkow, Nathanaël; Gimbert, Hugo; Oualhadj, Youssouf
8
2012
Subgame perfection for equilibria in quantitative reachability games. Zbl 1352.68146
Brihaye, Thomas; Bruyère, Véronique; De Pril, Julie; Gimbert, Hugo
7
2012
Deciding the value 1 problem for probabilistic leaktight automata. Zbl 1391.68081
Fijalkow, Nathanaël; Gimbert, Hugo; Kelmendi, Edon; Oualhadj, Youssouf
6
2015
Simple stochastic games with few random vertices are easy to solve. Zbl 1138.91337
Gimbert, Hugo; Horn, Florian
6
2008
When can you play positionally? Zbl 1097.91022
Gimbert, Hugo; Zielonka, Wiesław
6
2004
Qualitative determinacy and decidability of stochastic games with signals. Zbl 1427.91022
Bertrand, Nathalie; Genest, Blaise; Gimbert, Hugo
5
2017
On (subgame perfect) secure equilibrium in quantitative reachability games. Zbl 1260.91038
Brihaye, Thomas; Bruyère, Véronique; De Pril, Julie; Gimbert, Hugo
4
2013
On values of repeated games with signals. Zbl 1332.91023
Gimbert, Hugo; Renault, Jérôme; Sorin, Sylvain; Venel, Xavier; Zielonka, Wiesław
3
2016
Solving simple stochastic tail games. Zbl 1288.91020
Gimbert, Hugo; Horn, Florian
3
2010
Perfect-information stochastic mean-payoff parity games. Zbl 1405.68225
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Oualhadj, Youssouf
2
2014
Solving simple stochastic games with few random vertices. Zbl 1163.91318
Gimbert, Hugo; Horn, Florian
2
2009
Perfect information stochastic priority games. Zbl 1171.91315
Gimbert, Hugo; Zielonka, Wiesław
2
2007
Pure stationary optimal strategies in Markov decision processes. Zbl 1186.93043
Gimbert, Hugo
2
2007
Deterministic priority mean-payoff games as limits of discounted games. Zbl 1133.91318
Gimbert, Hugo; Zielonka, Wiesław
2
2006
Deciding maxmin reachability in half-blind stochastic games. Zbl 1403.91033
Kelmendi, Edon; Gimbert, Hugo
1
2016
Deciding the value 1 problem for \(\sharp\)-acyclic partially observable Markov decision processes. Zbl 1435.91022
Gimbert, Hugo; Oualhadj, Youssouf
1
2014
Solving simple stochastic games. Zbl 1142.91332
Gimbert, Hugo; Horn, Florian
1
2008
Parity and exploration games on infinite graphs. Zbl 1095.91004
Gimbert, Hugo
1
2004
Qualitative determinacy and decidability of stochastic games with signals. Zbl 1427.91022
Bertrand, Nathalie; Genest, Blaise; Gimbert, Hugo
5
2017
On values of repeated games with signals. Zbl 1332.91023
Gimbert, Hugo; Renault, Jérôme; Sorin, Sylvain; Venel, Xavier; Zielonka, Wiesław
3
2016
Deciding maxmin reachability in half-blind stochastic games. Zbl 1403.91033
Kelmendi, Edon; Gimbert, Hugo
1
2016
Deciding the value 1 problem for probabilistic leaktight automata. Zbl 1391.68081
Fijalkow, Nathanaël; Gimbert, Hugo; Kelmendi, Edon; Oualhadj, Youssouf
6
2015
Perfect-information stochastic mean-payoff parity games. Zbl 1405.68225
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Oualhadj, Youssouf
2
2014
Deciding the value 1 problem for \(\sharp\)-acyclic partially observable Markov decision processes. Zbl 1435.91022
Gimbert, Hugo; Oualhadj, Youssouf
1
2014
Asynchronous games over tree architectures. Zbl 1334.68150
Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor
10
2013
On (subgame perfect) secure equilibrium in quantitative reachability games. Zbl 1260.91038
Brihaye, Thomas; Bruyère, Véronique; De Pril, Julie; Gimbert, Hugo
4
2013
Deciding the value 1 problem for probabilistic leaktight automata. Zbl 1360.68553
Fijalkow, Nathanaël; Gimbert, Hugo; Oualhadj, Youssouf
8
2012
Subgame perfection for equilibria in quantitative reachability games. Zbl 1352.68146
Brihaye, Thomas; Bruyère, Véronique; De Pril, Julie; Gimbert, Hugo
7
2012
Probabilistic automata on finite words: decidable and undecidable problems. Zbl 1288.68156
Gimbert, Hugo; Oualhadj, Youssouf
20
2010
Optimal Zielonka-type construction of deterministic asynchronous automata. Zbl 1288.68154
Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor
9
2010
Randomness for free. Zbl 1287.91027
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A.
9
2010
Solving simple stochastic tail games. Zbl 1288.91020
Gimbert, Hugo; Horn, Florian
3
2010
Solving simple stochastic games with few random vertices. Zbl 1163.91318
Gimbert, Hugo; Horn, Florian
2
2009
Simple stochastic games with few random vertices are easy to solve. Zbl 1138.91337
Gimbert, Hugo; Horn, Florian
6
2008
Solving simple stochastic games. Zbl 1142.91332
Gimbert, Hugo; Horn, Florian
1
2008
Perfect information stochastic priority games. Zbl 1171.91315
Gimbert, Hugo; Zielonka, Wiesław
2
2007
Pure stationary optimal strategies in Markov decision processes. Zbl 1186.93043
Gimbert, Hugo
2
2007
Deterministic priority mean-payoff games as limits of discounted games. Zbl 1133.91318
Gimbert, Hugo; Zielonka, Wiesław
2
2006
Games where you can play optimally without any memory. Zbl 1134.68438
Gimbert, Hugo; Zielonka, Wiesław
9
2005
When can you play positionally? Zbl 1097.91022
Gimbert, Hugo; Zielonka, Wiesław
6
2004
Parity and exploration games on infinite graphs. Zbl 1095.91004
Gimbert, Hugo
1
2004
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

Citations by Year