Mathieu Tracol

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Point Based Value Iteration

Partially Observable Markov Decision Process

Partially Observable Markov

Top Venues

J. Comput. Syst. Sci.

Publications

Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol
What is decidable about partially observable Markov decision processes with ω-regular objectives. J. Comput. Syst. Sci. 82 (5) (2016)
Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol
What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives. CoRR (2013)
Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol
What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives. CSL (2013)
Michel de Rougemont, Mathieu Tracol
Approximation of Large Probabilistic Networks by Structured Population Protocols. CAI (2013)
Krishnendu Chatterjee, Mathieu Tracol
Decidable Problems for Probabilistic Automata on Infinite Words. LICS (2012)
Mathieu Tracol, Josée Desharnais, Abir Zhioua
Computing Distances between Probabilistic Automata QAPL (2011)
Krishnendu Chatterjee, Thomas A. Henzinger, Mathieu Tracol
The Decidability Frontier for Probabilistic Automata on Infinite Words CoRR (2011)
Krishnendu Chatterjee, Mathieu Tracol
Decidable Problems for Probabilistic Automata on Infinite Words CoRR (2011)
Mathieu Tracol
Recurrence and transience for finite probabilistic tables. Theor. Comput. Sci. 412 (12-14) (2011)
Mathieu Tracol, Christel Baier, Marcus Größer
Recurrence and Transience for Probabilistic Automata. FSTTCS (2009)
Mathieu Tracol
Fast convergence to state-action frequency polytopes for MDPs. Oper. Res. Lett. 37 (2) (2009)
Michel de Rougemont, Mathieu Tracol
Statistic Analysis for Probabilistic Processes. LICS (2009)
Josée Desharnais, François Laviolette, Mathieu Tracol
Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games. QEST (2008)