Folgen
Thomas Brihaye
Thomas Brihaye
UMONS
Bestätigte E-Mail-Adresse bei umons.ac.be
Titel
Zitiert von
Zitiert von
Jahr
ATL with Strategy Contexts and Bounded Memory
T Brihaye, A Da Costa, F Laroussinie, N Markey
Logical Foundations of Computer Science: International Symposium, LFCS 2009 …, 2009
1172009
On the optimal reachability problem of weighted timed automata
P Bouyer, T Brihaye, V Bruyere, JF Raskin
Formal Methods in System Design 31, 135-175, 2007
1042007
Improved undecidability results on weighted timed automata
P Bouyer, T Brihaye, N Markey
Information Processing Letters 98 (5), 188-194, 2006
942006
On optimal timed strategies
T Brihaye, V Bruyere, JF Raskin
Formal Modeling and Analysis of Timed Systems: Third International …, 2005
802005
Model-checking for weighted timed automata
T Brihaye, V Bruyere, JF Raskin
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2004
782004
When are timed automata determinizable?
C Baier, N Bertrand, P Bouyer, T Brihaye
Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP …, 2009
732009
On o-minimal hybrid systems
T Brihaye, C Michaux, R Cédric, T Christophe
HSCC 2993, 219--233, 2004
682004
Stochastic timed automata
N Bertrand, P Bouyer, T Brihaye, Q Menet, C Baier, M Größer, ...
Logical methods in computer science 10, 2014
642014
Probabilistic and topological semantics for timed automata
C Baier, N Bertrand, P Bouyer, T Brihaye, M Größer
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer …, 2007
642007
On the expressiveness and decidability of o-minimal hybrid systems
T Brihaye, C Michaux
Journal of complexity 21 (4), 447-478, 2005
602005
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
582008
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
572008
Minimum-time reachability in timed games
T Brihaye, TA Henzinger, VS Prabhu, JF Raskin
International Colloquium on Automata, Languages, and Programming, 825-837, 2007
372007
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
332011
MightyL: A Compositional Translation from MITL to Timed Automata
T Brihaye, G Geeraerts, HM Ho, B Monmege
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
312017
Multiplayer cost games with simple Nash equilibria
T Brihaye, J De Pril, S Schewe
Logical Foundations of Computer Science: International Symposium, LFCS 2013 …, 2013
312013
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
302013
The complexity of subgame perfect equilibria in quantitative reachability games
T Brihaye, V Bruyère, A Goeminne, JF Raskin, M Van den Bogaard
Logical Methods in Computer Science 16, 2020
292020
O-minimal hybrid reachability games
P Bouyer, T Brihaye, F Chevalier
Logical Methods in Computer Science 6, 2010
292010
Timed concurrent game structures
T Brihaye, F Laroussinie, N Markey, G Oreiby
International Conference on Concurrency Theory, 445-459, 2007
272007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20