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

Analysing Decisive Stochastic Processes. - Nathalie Bertrand 001; Patricia Bouyer; Thomas Brihaye; Pierre Carlier (ICALP, 2016)

Verification of Stochastic Timed Automata. (Vérification des automates temporisés et stochastiques). - Pierre Carlier (2017)

When are stochastic transition systems tameable? - Nathalie Bertrand 001; Patricia Bouyer; Thomas Brihaye; Pierre Carlier (J. Log. Algebraic Methods Program., 2018)