Travelled to:1 × Croatia
1 × Germany
1 × Italy
1 × USA
Collaborated with:K.Chatterjee M.d.Rougemont M.Chmelik J.Desharnais A.Zhioua
Talks about:probabilist (3) automata (2) process (2) decid (2) statist (1) regular (1) problem (1) partial (1) infinit (1) distanc (1)
Person: Mathieu Tracol
DBLP: Tracol:Mathieu
Contributed to:
2013
2012
20112009Wrote 4 papers:
- CSL-2013-ChatterjeeCT #decidability #markov #process #what
- What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives (KC, MC, MT), pp. 165–180.
- LICS-2012-ChatterjeeT #automaton #decidability #infinity #probability #problem #word
- Decidable Problems for Probabilistic Automata on Infinite Words (KC, MT), pp. 185–194.
- QAPL-2011-TracolDZ #automaton #probability
- Computing Distances between Probabilistic Automata (MT, JD, AZ), pp. 148–162.
- LICS-2009-RougemontT #analysis #probability #process #statistics
- Statistic Analysis for Probabilistic Processes (MdR, MT), pp. 299–308.