Verification of detectability in Probabilistic Finite Automata
1998 ◽
Vol 56
(2)
◽
pp. 133-152
◽
2015 ◽
Vol 9
(6)
◽
pp. 91-100