Mathieu Tracol
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2009–2013
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | CSL | What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives. | Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol |
| 2012 | LICS | Decidable Problems for Probabilistic Automata on Infinite Words. | Krishnendu Chatterjee, Mathieu Tracol |
| 2009 | LICS | Statistic Analysis for Probabilistic Processes. | Michel de Rougemont, Mathieu Tracol |