Thomas Brihaye
Thomas Brihaye
Verified email at umons.ac.be
Title
Cited by
Cited by
Year
ATL with strategy contexts and bounded memory
T Brihaye, A Da Costa, F Laroussinie, N Markey
International Symposium on Logical Foundations of Computer Science, 92-106, 2009
1052009
On the optimal reachability problem of weighted timed automata
P Bouyer, T Brihaye, V Bruyère, JF Raskin
Formal Methods in System Design 31 (2), 135-175, 2007
902007
Improved undecidability results on weighted timed automata
P Bouyer, T Brihaye, N Markey
Information Processing Letters 98 (5), 188-194, 2006
862006
Model-checking for weighted timed automata
T Brihaye, V Bruyere, JF Raskin
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004
772004
On optimal timed strategies
T Brihaye, V Bruyere, JF Raskin
International Conference on Formal Modeling and Analysis of Timed Systems, 49-64, 2005
722005
On o-minimal hybrid systems
T Brihaye, C Michaux, R Cédric, T Christophe
HSCC 2993, 219--233, 2004
652004
When are timed automata determinizable?
C Baier, N Bertrand, P Bouyer, T Brihaye
International Colloquium on Automata, Languages, and Programming, 43-54, 2009
582009
Probabilistic and topological semantics for timed automata
C Baier, N Bertrand, P Bouyer, T Brihaye, M Größer
International Conference on Foundations of Software Technology and …, 2007
572007
On the expressiveness and decidability of o-minimal hybrid systems
T Brihaye, C Michaux
Journal of complexity 21 (4), 447-478, 2005
572005
Almost-sure model checking of infinite paths in one-clock timed automata
C Baier, N Bertrand, P Bouyer, T Brihaye, M GröBer
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 217-226, 2008
532008
Quantitative model-checking of one-clock timed automata under probabilistic semantics
N Bertrand, P Bouyer, T Brihaye, N Markey
2008 Fifth International Conference on Quantitative Evaluation of Systems, 55-64, 2008
512008
Stochastic timed automata
N Bertrand, P Bouyer, T Brihaye, Q Menet, C Baier, M Größer, ...
arXiv preprint arXiv:1410.2128, 2014
372014
Minimum-time reachability in timed games
T Brihaye, TA Henzinger, VS Prabhu, JF Raskin
International Colloquium on Automata, Languages, and Programming, 825-837, 2007
332007
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
302012
On reachability for hybrid automata over bounded time
T Brihaye, L Doyen, G Geeraerts, J Ouaknine, JF Raskin, J Worrell
International Colloquium on Automata, Languages, and Programming, 416-427, 2011
272011
O-minimal hybrid reachability games
P Bouyer, T Brihaye, F Chevalier
arXiv preprint arXiv:0911.4833, 2009
272009
Equilibria in quantitative reachability games
T Brihaye, V Bruyère, J De Pril
International Computer Science Symposium in Russia, 72-83, 2010
262010
Control in o-minimal hybrid systems
P Bouyer, T Brihaye, F Chevalier
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 367-378, 2006
252006
Timed concurrent game structures
T Brihaye, F Laroussinie, N Markey, G Oreiby
International Conference on Concurrency Theory, 445-459, 2007
242007
On MITL and alternating timed automata
T Brihaye, M Estiévenart, G Geeraerts
International Conference on Formal Modeling and Analysis of Timed Systems, 47-61, 2013
222013
The system can't perform the operation now. Try again later.
Articles 1–20