BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tracol:Mathieu

Contributed to:

CSL 20132013
LICS 20122012
QAPL 20112011
LICS 20092009

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.