Concepedia

Mathieu Tracol

MT

Statistics

Publications

6

Citations

237

H-Index

6

Active since

2008

Affiliations

Institute of Science and Technology Austria(Current)

Université Paris-Sud

Mathieu Tracol is an author at Institute of Science and Technology Austria specializing in probability theory, mathematics, and computer science.

Publications per year

2008–2016

6

Publications

6

Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games

Josée Desharnais, François Laviolette, Mathieu Tracol · 2008 · 99 citations

, , +13

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

Krishnendu Chatterjee, Martin Chmelík, Mathieu Tracol · Journal of Computer and System Sciences · 2016 · 59 citations

, , +11

Decidable Problems for Probabilistic Automata on Infinite Words

Krishnendu Chatterjee, Mathieu Tracol · 2012 · 31 citations

, , +11

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

Krishnendu Chatterjee, Martin Chmelík, Mathieu Tracol · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2013 · 20 citations · Full text

, , +8

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

Krishnendu Chatterjee, Martin Chmelík, Mathieu Tracol · arXiv (Cornell University) · 2013 · 16 citations · Full text

, , +11

1–5 of 6