Probabilistic logical approach for testing diagnosability of stochastic discrete event systems. - Xuena Geng; Dantong Ouyang; Xiangfu Zhao; Shuang Hao 007 (Eng. Appl. Artif. Intell., 2016)