Verification-guided programmatic controller synthesis
scientific article; zbMATH DE number 7827808