Amanote Research
Register
Sign In
Decidable Problems for Probabilistic Automata on Infinite Words
doi 10.1109/lics.2012.29
Full Text
Open PDF
Abstract
Available in
full text
Date
June 1, 2012
Authors
Krishnendu Chatterjee
Mathieu Tracol
Publisher
IEEE