`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:

### Wrote 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.