| 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 | 127 | 2009 |
| On the optimal reachability problem of weighted timed automata P Bouyer, T Brihaye, V Bruyere, JF Raskin Formal Methods in System Design 31 (2), 135-175, 2007 | 111 | 2007 |
| Improved undecidability results on weighted timed automata P Bouyer, T Brihaye, N Markey Information Processing Letters 98 (5), 188-194, 2006 | 101 | 2006 |
| On optimal timed strategies T Brihaye, V Bruyere, JF Raskin International Conference on Formal Modeling and Analysis of Timed Systems, 49-64, 2005 | 93 | 2005 |
| Stochastic timed automata N Bertrand, P Bouyer, T Brihaye, Q Menet, C Baier, M Größer, ... Logical methods in computer science 10, 2014 | 83 | 2014 |
| When are timed automata determinizable? C Baier, N Bertrand, P Bouyer, T Brihaye International Colloquium on Automata, Languages, and Programming, 43-54, 2009 | 82 | 2009 |
| Model-checking for weighted timed automata T Brihaye, V Bruyere, JF Raskin International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2004 | 79 | 2004 |
| On o-minimal hybrid systems T Brihaye, C Michaux, R Cédric, T Christophe HSCC 2993, 219--233, 2004 | 69 | 2004 |
| 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 | 66 | 2007 |
| 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 | 61 | 2008 |
| On the expressiveness and decidability of o-minimal hybrid systems T Brihaye, C Michaux Journal of complexity 21 (4), 447-478, 2005 | 60 | 2005 |
| 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 | 58 | 2008 |
| MightyL: A Compositional Translation from MITL to Timed Automata T Brihaye, G Geeraerts, HM Ho, B Monmege International Conference on Computer Aided Verification, 421-440, 2017 | 48 | 2017 |
| Minimum-time reachability in timed games T Brihaye, TA Henzinger, VS Prabhu, JF Raskin International Colloquium on Automata, Languages, and Programming, 825-837, 2007 | 42 | 2007 |
| 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 | 38 | 2020 |
| 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 | 37 | 2011 |
| Multiplayer cost games with simple nash equilibria T Brihaye, J De Pril, S Schewe International Symposium on Logical Foundations of Computer Science, 59-73, 2013 | 36 | 2013 |
| Timed concurrent game structures T Brihaye, F Laroussinie, N Markey, G Oreiby International Conference on Concurrency Theory, 445-459, 2007 | 36 | 2007 |
| O-minimal hybrid reachability games P Bouyer, T Brihaye, F Chevalier Logical Methods in Computer Science 6, 2010 | 32 | 2010 |
| Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games T Brihaye, G Geeraerts, A Haddad, B Monmege Acta Informatica 54 (1), 85-125, 2017 | 31 | 2017 |
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lmf.cnrs.fr
