Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
scientific article; zbMATH DE number 7012255
scientific article