TY  - RPRT
TI  - SMC-ES: Automated synthesis of formally verified control policies
AU  - Riccardo Curcio
AU  - Toni Mancini
AU  - Enrico Tronci
PY  - 2026
UR  - https://arxiv.org/abs/2607.15003
ID  - 2607.15003
ER  -