Title: Stochastic automata; constructive theory
Subjects: Constructive mathematics, Probabilistic automata, Robotics