Verification of safe diagnosability of stochastic discrete-event systems. - Fuchun Liu; Pengbiao Yang; Rui Zhao 026; Zbigniew Dziong (Int. J. Control, 2022)