Verification of detectability in Probabilistic Finite Automata
Keroglou, Christoforos; Hadjicostis, Christoforos N.
- 期刊名称Automatica
- 作者Keroglou, Christoforos; Hadjicostis, Christoforos N.
- 卷第86卷
- 印刷ISSN0005-1098
- 文件大小679.30KB
- 发表时间2017-12
- DOI10.1016/j.automatica.2017.08.027
- 页码192-198