
Publications

Laurent Doyen, Thierry Massart, and Mahsa Shirmohammadi.
Limit Synchronization in Markov Decision Processes.
Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures
(FoSSaCS), Lecture Notes in Computer Science 8412, Springer, 2014, pp. 5872.
Laurent Doyen, Thierry Massart, and Mahsa Shirmohammadi.
Robust Synchronization in Markov Decision Processes.
Proceedings of the 25th International Conference on Concurrency Theory
(CONCUR), Lecture Notes in Computer Science 8704, Springer, 2014, pp. 234248.
Laurent Doyen, Line Juhl, Kim G. Larsen, Nicolas Markey, and Mahsa Shirmohammadi.
Synchronizing Words for Weighted and Timed Automata.
Proceedings of the 34h International Conference on Foundations of
Software Technology and Theoretical Computer Science
(FSTTCS), LIPIcs, Schloss Dagstuhl  LeibnizZentrum fuer Informatik, 2014, pp. 121132.

