Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach
partially-observed discrete event systems
scientific article; zbMATH DE number 7443255
scientific article