papers
Publications (4)
cs.FL2011
Decidable Problems for Probabilistic Automata on Infinite Words
Krishnendu Chatterjee, Mathieu Tracol
cs.LO2011
The Decidability Frontier for Probabilistic Automata on Infinite Words
Krishnendu Chatterjee, Thomas A. Henzinger, Mathieu Tracol
cs.LO2013
What is Decidable about Partially Observable Markov Decision Processes with Ï-Regular Objectives
Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol
cs.FL2011
Computing Distances between Probabilistic Automata
Mathieu Tracol, Josée Desharnais, Abir Zhioua