Publications
- [1] Probabilistic Automata on Finite Words: Decidable and Undecidable Problems, co-authored with Hugo Gimbert. Accepted for ICALP'10.
- [3] A Class of Probabilistic Automata with a Decidable Value 1 Problem, co-authored with Nathanaël Fijalkow and Hugo Gimbert. Accepted for LICS'12.