Thomas Brihaye
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
12
Active years
2006–2025
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | LICS | Risk-aware Markov Decision Processes Using Cumulative Prospect Theory. | Thomas Brihaye, Krishnendu Chatterjee, Stefanie Mohr, Maximilian Weininger |
| 2024 | LATIN | Semantics of Attack-Defense Trees for Dynamic Countermeasures and a New Hierarchy of Star-Free Languages. | Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko |
| 2019 | CONCUR | The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games. | Thomas Brihaye, Vronique Bruyre, Aline Goeminne, Jean-Franois Raskin, Marie van den Bogaard |
| 2019 | CONCUR | Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives. | Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour |
| 2018 | ICECCS | Efficient Algorithms and Tools for MITL Model-Checking and Synthesis. | Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Arthur Milchior, Benjamin Monmege |
| 2017 | CAV | MightyL: A Compositional Translation from MITL to Timed Automata. | Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege |
| 2017 | TIME | Timed-Automata-Based Verification of MITL over Signals. | Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege |
| 2016 | CSR | Compositional Design of Stochastic Timed Automata. | Patricia Bouyer, Thomas Brihaye, Pierre Carlier, Quentin Menet |
| 2016 | ICALP | Analysing Decisive Stochastic Processes. | Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier |
| 2015 | CONCUR | To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games. | Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege |
| 2015 | CSL | Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability. | Thomas Brihaye, Vronique Bruyre, Nomie Meunier, Jean-Franois Raskin |
| 2014 | CONCUR | Adding Negative Prices to Priced Timed Games. | Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi |
| 2013 | ATVA | Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points. | Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Jol Ouaknine, Jean-Franois Raskin, James Worrell |
| 2013 | LFCS | Multiplayer Cost Games with Simple Nash Equilibria. | Thomas Brihaye, Julie De Pril, Sven Schewe |
| 2012 | FOSSACS | Subgame Perfection for Equilibria in Quantitative Reachability Games. | Thomas Brihaye, Vronique Bruyre, Julie De Pril, Hugo Gimbert |
| 2011 | ATVA | Antichain-Based QBF Solving. | Thomas Brihaye, Vronique Bruyre, Laurent Doyen, Marc Ducobu, Jean-Franois Raskin |
| 2011 | ICALP | Emptiness and Universality Problems in Timed Automata with Positive Frequency. | Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amlie Stainer |
| 2011 | ICALP | On Reachability for Hybrid Automata over Bounded Time. | Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Jol Ouaknine, Jean-Franois Raskin, James Worrell |
| 2010 | CSR | Equilibria in Quantitative Reachability Games. | Thomas Brihaye, Vronique Bruyre, Julie De Pril |
| 2009 | ICALP | When Are Timed Automata Determinizable? | Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye |
| 2009 | LFCS | ATL with Strategy Contexts and Bounded Memory. | Thomas Brihaye, Arnaud Da Costa Lopes, Franois Laroussinie, Nicolas Markey |
| 2008 | LICS | Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. | Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Grer |
| 2008 | TIME | Good Friends are Hard to Find! | Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg |
| 2007 | CONCUR | Timed Concurrent Game Structures. | Thomas Brihaye, Franois Laroussinie, Nicolas Markey, Ghassan Oreiby |
| 2007 | ICALP | Minimum-Time Reachability in Timed Games. | Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Prabhu, Jean-Franois Raskin |
| 2007 | LFCS | Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! | Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier |
| 2006 | LICS | Control in o-minimal Hybrid Systems. | Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier |