| No. |
Title |
Author |
Year |
| 1 |
Dynamics on Games: Simulation-Based Techniques and Applications to Routing |
Brihaye, Thomas et al. |
2019 |
| 2 |
Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives |
Brihaye, Thomas et al. |
2019 |
| 3 |
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games |
Brihaye, Thomas et al. |
2019 |
| 4 |
Timed-Automata-Based Verification of MITL over Signals |
Brihaye, Thomas et al. |
2017 |
| 5 |
Analysing Decisive Stochastic Processes |
Bertrand, Nathalie et al. |
2016 |
| 6 |
Quantitative Games under Failures |
Brihaye, Thomas et al. |
2015 |
| 7 |
Simple Priced Timed Games are not That Simple |
Brihaye, Thomas et al. |
2015 |
| 8 |
To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games |
Brihaye, Thomas et al. |
2015 |
| 9 |
Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability |
Brihaye, Thomas et al. |
2015 |
