Mathieu Tracol

Computing Distances between Probabilistic Automata

Mathieu Tracol, Josée Desharnais, Abir Zhioua, 2011, QAPL.

Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games

François Laviolette, Mathieu Tracol, Josée Desharnais, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

Recurrence and Transience for Probabilistic Automata

Christel Baier, Marcus Größer, Mathieu Tracol, 2009, FSTTCS.

Decidable Problems for Probabilistic Automata on Infinite Words

Krishnendu Chatterjee, Mathieu Tracol, K. Chatterjee, 2011, 2012 27th Annual IEEE Symposium on Logic in Computer Science.

Recurrence and transience for finite probabilistic tables

Mathieu Tracol, M. Tracol, 2011, Theor. Comput. Sci..

Fast convergence to state-action frequency polytopes for MDPs

Mathieu Tracol, M. Tracol, 2009, Oper. Res. Lett..

What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives

Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol, 2013, CSL.

The Decidability Frontier for Probabilistic Automata on Infinite Words pdf

Krishnendu Chatterjee, Thomas A. Henzinger, Mathieu Tracol, 2011, ArXiv.

Approximation of Large Probabilistic Networks by Structured Population Protocols

Michel de Rougemont, Mathieu Tracol, M. D. Rougemont, 2013, CAI.

What is decidable about partially observable Markov decision processes with ω-regular objectives

Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol, 2013, J. Comput. Syst. Sci..

Statistic Analysis for Probabilistic Processes

Michel de Rougemont, Mathieu Tracol, 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.