1. Distinguishing tests for nondeterministic and probabilistic machines;Alur,1995
2. Optimal control of partially observable Markovian systems;Aoki;J. Franklin Inst.,1965
3. Optimal control of Markov processes with incomplete state information;Ästrom;J. Math. Anal. Appl.,1965
4. The solution to problems relative to probabilistic automata in the frame of the formal languages theory;Bertoni,1975
5. Some recursively unsolvable problems relating to isolated cutpoints in probabilistic automata;Bertoni,1977