Pierre Carlier

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

Pierre Carlier, 2017 .

Analysing Decisive Stochastic Processes

Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, 2016, ICALP.

When are Stochastic Transition Systems Tameable?

Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, 2017, J. Log. Algebraic Methods Program..

Decisiveness and stochastic timed automata

Nathalie Bertrand, Thomas Brihaye, Patricia Bouyer-Decitre, 2016 .

Compositional Design of Stochastic Timed Automata

Patricia Bouyer, Thomas Brihaye, Pierre Carlier, 2016, CSR.