SMC-ES: Automated synthesis of formally verified control policies | Digital Library | PAMCET | PAMCET