Mathieu Tracol

Identifiers

• name variant Mathieu Tracol 0.60 · backfill

Papers (3)

1. What is Decidable about Partially Observable Markov Decision Processes with {\omega}-Regular Objectives cs.LO · 2013 · author #3
2. Decidable Problems for Probabilistic Automata on Infinite Words cs.FL · 2011 · author #2
3. The Decidability Frontier for Probabilistic Automata on Infinite Words cs.LO · 2011 · author #3

Mentions

• 1107.2091 #2 · backfill · confidence 0.70 Mathieu Tracol
• 1104.0127 #3 · backfill · confidence 0.70 Mathieu Tracol

Frequent Coauthors

• Krishnendu Chatterjee 3 shared papers
• Martin Chmelik 1 shared papers
• Thomas A. Henzinger 1 shared papers