Lazy controller synthesis for monotone transition systems and directed safety specifications
scientific article; zbMATH DE number 7444321
scientific article