Almost-Sure Model-Checking of Reactive Timed Automata. - Patricia Bouyer; Thomas Brihaye; Marcin Jurdzinski; Quentin Menet (QEST, 2012)

Fairly Correct Systems: Beyond omega-regularity - Thomas Brihaye; Quentin Menet (GandALF, 2013)

Stochastic Timed Automata. - Nathalie Bertrand 001; Patricia Bouyer; Thomas Brihaye; Quentin Menet; Christel Baier; Marcus Größer; Marcin Jurdzinski (Log. Methods Comput. Sci., 2014)

Simple strategies for Banach-Mazur games and sets of probability 1. - Thomas Brihaye; Axel Haddad; Quentin Menet (Inf. Comput., 2015)

Compositional Design of Stochastic Timed Automata. - Patricia Bouyer; Thomas Brihaye; Pierre Carlier; Quentin Menet (CSR, 2016)