Patricia Bouyer-Decitre

Modèles et algorithmes pour la vérification des systèmes temporisés

Patricia Bouyer-Decitre, 2002 .

Decisive Stochastic Timed Automata

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

Optimal Reachability in Weighted Timed Automata and Games (Invited Talk)

Patricia Bouyer-Decitre, 2016, MFCS 2016.

Decisiveness and stochastic timed automata

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

Robust Model-Checking of Timed Automata

Nicolas Markey, Ocan Sankur, Patricia Bouyer-Decitre, 2010 .

Symmetric Nash Equilibria

Nicolas Markey, Steen Vester, Patricia Bouyer-Decitre, 2012 .

Model-checking robuste des automates temporisés via les machines à canaux

Nicolas Markey, Patricia Bouyer-Decitre, 2010 .