Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
scientific article; zbMATH DE number 6054192
scientific article