×

zbMATH — the first resource for mathematics

Brihaye, Thomas

Compute Distance To:
Author ID: brihaye.thomas Recent zbMATH articles by "Brihaye, Thomas"
Published as: Brihaye, Thomas
External Links: MGP
Documents Indexed: 53 Publications since 2004

Publications by Year

Citations contained in zbMATH Open

41 Publications have been cited 215 times in 131 Documents Cited by Year
ATL with strategy contexts and bounded memory. Zbl 1211.03031
Brihaye, Thomas; Da Costa, Arnaud; Laroussinie, François; Markey, Nicolas
16
2009
On the optimal reachability problem of weighted timed automata. Zbl 1129.68039
Bouyer, Patricia; Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François
14
2007
Improved undecidability results on weighted timed automata. Zbl 1187.68291
Bouyer, Patricia; Brihaye, Thomas; Markey, Nicolas
13
2006
Model-checking for weighted timed automata. Zbl 1109.68512
Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François
12
2004
On o-minimal hybrid systems. Zbl 1135.93353
Brihaye, Thomas; Michaux, Christian; Rivière, Cédric; Troestler, Christophe
12
2004
Subgame perfection for equilibria in quantitative reachability games. Zbl 1352.68146
Brihaye, Thomas; Bruyère, Véronique; De Pril, Julie; Gimbert, Hugo
12
2012
On optimal timed strategies. Zbl 1175.68241
Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François
10
2005
When are timed automata determinizable? Zbl 1248.68284
Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas
9
2009
On model-checking timed automata with stopwatch observers. Zbl 1094.68055
Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François
8
2006
On the expressiveness and decidability of o-minimal hybrid systems. Zbl 1101.68059
Brihaye, Thomas; Michaux, Christian
7
2005
Probabilistic and topological semantics for timed automata. Zbl 1135.68464
Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Größer, Marcus
7
2007
Cell decomposition and dimension function in the theory of closed ordered differential fields. Zbl 1166.03015
Brihaye, Thomas; Michaux, Christian; Rivière, Cédric
7
2009
Equilibria in quantitative reachability games. Zbl 1285.91023
Brihaye, Thomas; Bruyère, Véronique; De Pril, Julie
6
2010
Words and bisimulations of dynamical systems. Zbl 1152.68470
Brihaye, Thomas
6
2007
Minimum-time reachability in timed games. Zbl 1171.68526
Brihaye, Thomas; Henzinger, Thomas A.; Prabhu, Vinayak S.; Raskin, Jean-François
6
2007
Weak subgame perfect equilibria and their application to quantitative reachability. Zbl 1375.91042
Brihaye, Thomas; Bruyère, Véronique; Meunier, Noémie; Raskin, Jean-François
6
2015
Multiplayer cost games with simple Nash equilibria. Zbl 1422.91043
Brihaye, Thomas; De Pril, Julie; Schewe, Sven
5
2013
O-minimal hybrid reachability games. Zbl 1189.68070
Bouyer, Patricia; Brihaye, Thomas; Chevalier, Fabrice
5
2010
Weighted o-minimal hybrid systems are more decidable than weighted timed automata! Zbl 1132.68466
Bouyer, Patricia; Brihaye, Thomas; Chevalier, Fabrice
4
2007
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 reachability for hybrid automata over bounded time. Zbl 1300.68033
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joël; Raskin, Jean-François; Worrell, James
4
2011
On MITL and alternating timed automata over infinite words. Zbl 1448.68291
Brihaye, Thomas; Estiévenart, Morgane; Geeraerts, Gilles
4
2014
Timed concurrent game structures. Zbl 1151.68510
Brihaye, Thomas; Laroussinie, François; Markey, Nicolas; Oreiby, Ghassan
3
2007
Average-price and reachability-price games on hybrid automata with strong resets. Zbl 1171.68523
Bouyer, Patricia; Brihaye, Thomas; Jurdziński, Marcin; Lazić, Ranko; Rutkowski, Michał
3
2008
To reach or not to reach? Efficient algorithms for total-payoff games. Zbl 1376.91038
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin
3
2015
Stochastic timed automata. Zbl 1448.68256
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Menet, Quentin; Baier, Christel; Groesser, Marcus; Jurdzinski, Marcin
3
2014
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games. Zbl 1362.68203
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin
3
2017
Time-bounded reachability for monotonic hybrid automata: complexity and fixed points. Zbl 1410.68198
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joel; Raskin, Jean-Francois; Worrell, James
3
2013
Adding negative prices to priced timed games. Zbl 1417.68120
Brihaye, Thomas; Geeraerts, Gilles; Narayanan Krishna, Shankara; Manasa, Lakshmi; Monmege, Benjamin; Trivedi, Ashutosh
3
2014
On relevant equilibria in reachability games. Zbl 1455.91055
Brihaye, Thomas; Bruyère, Véronique; Goeminne, Aline; Thomasset, Nathan
2
2019
On MITL and alternating timed automata. Zbl 1390.68376
Brihaye, Thomas; Estiévenart, Morgane; Geeraerts, Gilles
2
2013
Weighted o-minimal hybrid systems. Zbl 1219.68114
Bouyer, Patricia; Brihaye, Thomas; Chevalier, Fabrice
2
2009
Simple priced timed games are not that simple. Zbl 1366.68137
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Lefaucheux, Engel; Monmege, Benjamin
2
2015
The complexity of subgame perfect equilibria in quantitative reachability games. Zbl 07285575
Brihaye, Thomas; Bruyère, Véronique; Goeminne, Aline; Raskin, Jean-François; van den Bogaard, Marie
2
2020
Compositional design of stochastic timed automata. Zbl 06605923
Bouyer, Patricia; Brihaye, Thomas; Carlier, Pierre; Menet, Quentin
1
2016
Antichain-based QBF solving. Zbl 1348.68224
Brihaye, Thomas; Bruyère, Véronique; Doyen, Laurent; Ducobu, Marc; Raskin, Jean-Francois
1
2011
Quantitative games under failures. Zbl 1366.68216
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin; Pérez, Guillermo A.; Renault, Gabriel
1
2015
On equilibria in quantitative games with reachability/safety objectives. Zbl 1380.91031
Brihaye, Thomas; Bruyère, Véronique; De Pril, Julie
1
2014
Analysing decisive stochastic processes. Zbl 1388.68202
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Carlier, Pierre
1
2016
Real-time synthesis is hard! Zbl 1433.68210
Brihaye, Thomas; Estiévenart, Morgane; Geeraerts, Gilles; Ho, Hsi-Ming; Monmege, Benjamin; Sznajder, Nathalie
1
2016
A note on the undecidability of the reachability problem for o-minimal dynamical systems. Zbl 1089.03035
Brihaye, Thomas
1
2006
The complexity of subgame perfect equilibria in quantitative reachability games. Zbl 07285575
Brihaye, Thomas; Bruyère, Véronique; Goeminne, Aline; Raskin, Jean-François; van den Bogaard, Marie
2
2020
On relevant equilibria in reachability games. Zbl 1455.91055
Brihaye, Thomas; Bruyère, Véronique; Goeminne, Aline; Thomasset, Nathan
2
2019
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games. Zbl 1362.68203
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin
3
2017
Compositional design of stochastic timed automata. Zbl 06605923
Bouyer, Patricia; Brihaye, Thomas; Carlier, Pierre; Menet, Quentin
1
2016
Analysing decisive stochastic processes. Zbl 1388.68202
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Carlier, Pierre
1
2016
Real-time synthesis is hard! Zbl 1433.68210
Brihaye, Thomas; Estiévenart, Morgane; Geeraerts, Gilles; Ho, Hsi-Ming; Monmege, Benjamin; Sznajder, Nathalie
1
2016
Weak subgame perfect equilibria and their application to quantitative reachability. Zbl 1375.91042
Brihaye, Thomas; Bruyère, Véronique; Meunier, Noémie; Raskin, Jean-François
6
2015
To reach or not to reach? Efficient algorithms for total-payoff games. Zbl 1376.91038
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin
3
2015
Simple priced timed games are not that simple. Zbl 1366.68137
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Lefaucheux, Engel; Monmege, Benjamin
2
2015
Quantitative games under failures. Zbl 1366.68216
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin; Pérez, Guillermo A.; Renault, Gabriel
1
2015
On MITL and alternating timed automata over infinite words. Zbl 1448.68291
Brihaye, Thomas; Estiévenart, Morgane; Geeraerts, Gilles
4
2014
Stochastic timed automata. Zbl 1448.68256
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Menet, Quentin; Baier, Christel; Groesser, Marcus; Jurdzinski, Marcin
3
2014
Adding negative prices to priced timed games. Zbl 1417.68120
Brihaye, Thomas; Geeraerts, Gilles; Narayanan Krishna, Shankara; Manasa, Lakshmi; Monmege, Benjamin; Trivedi, Ashutosh
3
2014
On equilibria in quantitative games with reachability/safety objectives. Zbl 1380.91031
Brihaye, Thomas; Bruyère, Véronique; De Pril, Julie
1
2014
Multiplayer cost games with simple Nash equilibria. Zbl 1422.91043
Brihaye, Thomas; De Pril, Julie; Schewe, Sven
5
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
Time-bounded reachability for monotonic hybrid automata: complexity and fixed points. Zbl 1410.68198
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joel; Raskin, Jean-Francois; Worrell, James
3
2013
On MITL and alternating timed automata. Zbl 1390.68376
Brihaye, Thomas; Estiévenart, Morgane; Geeraerts, Gilles
2
2013
Subgame perfection for equilibria in quantitative reachability games. Zbl 1352.68146
Brihaye, Thomas; Bruyère, Véronique; De Pril, Julie; Gimbert, Hugo
12
2012
On reachability for hybrid automata over bounded time. Zbl 1300.68033
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joël; Raskin, Jean-François; Worrell, James
4
2011
Antichain-based QBF solving. Zbl 1348.68224
Brihaye, Thomas; Bruyère, Véronique; Doyen, Laurent; Ducobu, Marc; Raskin, Jean-Francois
1
2011
Equilibria in quantitative reachability games. Zbl 1285.91023
Brihaye, Thomas; Bruyère, Véronique; De Pril, Julie
6
2010
O-minimal hybrid reachability games. Zbl 1189.68070
Bouyer, Patricia; Brihaye, Thomas; Chevalier, Fabrice
5
2010
ATL with strategy contexts and bounded memory. Zbl 1211.03031
Brihaye, Thomas; Da Costa, Arnaud; Laroussinie, François; Markey, Nicolas
16
2009
When are timed automata determinizable? Zbl 1248.68284
Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas
9
2009
Cell decomposition and dimension function in the theory of closed ordered differential fields. Zbl 1166.03015
Brihaye, Thomas; Michaux, Christian; Rivière, Cédric
7
2009
Weighted o-minimal hybrid systems. Zbl 1219.68114
Bouyer, Patricia; Brihaye, Thomas; Chevalier, Fabrice
2
2009
Average-price and reachability-price games on hybrid automata with strong resets. Zbl 1171.68523
Bouyer, Patricia; Brihaye, Thomas; Jurdziński, Marcin; Lazić, Ranko; Rutkowski, Michał
3
2008
On the optimal reachability problem of weighted timed automata. Zbl 1129.68039
Bouyer, Patricia; Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François
14
2007
Probabilistic and topological semantics for timed automata. Zbl 1135.68464
Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Größer, Marcus
7
2007
Words and bisimulations of dynamical systems. Zbl 1152.68470
Brihaye, Thomas
6
2007
Minimum-time reachability in timed games. Zbl 1171.68526
Brihaye, Thomas; Henzinger, Thomas A.; Prabhu, Vinayak S.; Raskin, Jean-François
6
2007
Weighted o-minimal hybrid systems are more decidable than weighted timed automata! Zbl 1132.68466
Bouyer, Patricia; Brihaye, Thomas; Chevalier, Fabrice
4
2007
Timed concurrent game structures. Zbl 1151.68510
Brihaye, Thomas; Laroussinie, François; Markey, Nicolas; Oreiby, Ghassan
3
2007
Improved undecidability results on weighted timed automata. Zbl 1187.68291
Bouyer, Patricia; Brihaye, Thomas; Markey, Nicolas
13
2006
On model-checking timed automata with stopwatch observers. Zbl 1094.68055
Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François
8
2006
A note on the undecidability of the reachability problem for o-minimal dynamical systems. Zbl 1089.03035
Brihaye, Thomas
1
2006
On optimal timed strategies. Zbl 1175.68241
Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François
10
2005
On the expressiveness and decidability of o-minimal hybrid systems. Zbl 1101.68059
Brihaye, Thomas; Michaux, Christian
7
2005
Model-checking for weighted timed automata. Zbl 1109.68512
Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François
12
2004
On o-minimal hybrid systems. Zbl 1135.93353
Brihaye, Thomas; Michaux, Christian; Rivière, Cédric; Troestler, Christophe
12
2004
all top 5

Cited by 227 Authors

16 Brihaye, Thomas
10 Bouyer, Patricia
8 Avni, Guy
8 Bruyère, Véronique
8 Larsen, Kim Guldstrand
7 Markey, Nicolas
6 Kupferman, Orna
6 Murano, Aniello
6 Raskin, Jean-François
5 Goeminne, Aline
5 Henzinger, Thomas A.
5 Quaas, Karin
4 Bérard, Béatrice
4 Ćirić, Miroslav D.
4 Ignjatović, Jelena
4 Legay, Axel
4 Leroux, Stéphane
4 Pauly, Arno M.
3 André, Étienne
3 Fahrenberg, Uli
3 Guha, Shibashis
3 Haddad, Serge
3 Lime, Didier
3 Malvone, Vadim
3 Schewe, Sven
2 Bašić, Milan
2 Bersani, Marcello Maria
2 Bertrand, Nathalie
2 Bozzelli, Laura
2 Brouette, Quentin
2 Brunel, Julien
2 Carlier, Pierre
2 Casagrande, Alberto
2 Chareton, Christophe
2 Chemouil, David
2 Damljanović, Nada
2 Damm, Werner
2 De Pril, Julie
2 Di Benedetto, Maria Domenica
2 Dingel, Juergen
2 Dullerud, Geir E.
2 Flesch, Janos
2 Fränzle, Martin
2 Héam, Pierre-Cyrille
2 Ho, Hsi-Ming
2 Jain, Chinmay
2 Jamroga, Wojciech
2 Jančić, Ivana
2 Jéron, Thierry
2 Korovina, Margarita Vladimirovna
2 Kouchnarenko, Olga
2 Krishna, Shankara Narayanan
2 Laroussinie, François
2 Mishra, Bud
2 Mogavero, Fabio
2 Monmege, Benjamin
2 Ouaknine, Joel O.
2 Piazza, Carla
2 Pietro, Pierluigi San
2 Platzer, André
2 Point, Françoise
2 Pola, Giordano
2 Prabhakar, Pavithra
2 Predtetchinski, Arkadi
2 Reynier, Pierre-Alain
2 Rossi, Matteo A. C.
2 Rudie, Karen
2 Sassolas, Mathieu
2 Sorrentino, Loredana
2 Tamir, Tami
2 Trivedi, Ashutosh
2 Viswanathan, Mahesh
2 Vladimerou, Vladimeros
2 Vorob’ëv, Nikolaĭ N. jun.
2 Waez, Md Tawhid Bin
2 Worrell, James B.
1 Abdulla, Parosh Aziz
1 Aghajohari, Milad
1 Aichernig, Bernhard K.
1 Akshay, S.
1 Aminof, Benjamin
1 Ammar, Ikhlass
1 Aschenbrenner, Matthias
1 Ashkenazi-Golan, Galit
1 Aydin Gol, Ebru
1 Baier, Christel
1 Basset, Nicolas
1 Bauer, Kerstin
1 Bendík, Jaroslav
1 Beneš, Nikola
1 Bezděk, Peter
1 Bogdanović, Stojan M.
1 Bøgsted Poulsen, Danny
1 Boichut, Yohan
1 Borri, Alessandro
1 Brázdil, Tomáš
1 Brenguier, Romain
1 Bresolin, Davide
1 Buchholz, Peter
1 Bulling, Nils
...and 127 more Authors

Citations by Year