| No. |
Title |
Author |
Year |
| 1 |
Parameterized Safety Verification of Round-Based Shared-Memory Systems |
Bertrand, Nathalie et al. |
2022 |
| 2 |
Semilinear Representations for Series-Parallel Atomic Congestion Games |
Bertrand, Nathalie et al. |
2022 |
| 3 |
The Variance-Penalized Stochastic Shortest Path Problem |
Piribauer, Jakob et al. |
2022 |
| 4 |
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking |
Piribauer, Jakob et al. |
2021 |
| 5 |
Dynamic Network Congestion Games |
Bertrand, Nathalie et al. |
2020 |
| 6 |
Admissibility in Games with Imperfect Information (Invited Talk) |
Brenguier, Romain et al. |
2017 |
| 7 |
Admissiblity in Concurrent Games |
Basset, Nicolas et al. |
2017 |
| 8 |
Admissibility in Quantitative Graph Games |
Brenguier, Romain et al. |
2016 |
| 9 |
Assume-Admissible Synthesis |
Brenguier, Romain et al. |
2015 |
| 10 |
Multiple-Environment Markov Decision Processes |
Raskin, Jean-Francois et al. |
2014 |
| 11 |
Shrinking Timed Automata |
Sankur, Ocan et al. |
2011 |
| 12 |
Online Correlation Clustering |
Mathieu, Claire et al. |
2010 |
