arxivcs.AIcs.LGcs.NE2026-07-16
SMC-ES: Automated synthesis of formally verified control policies
Riccardo Curcio, Toni Mancini, Enrico Tronci
The deployment of autonomous cyber-physical systems in safety-critical environments requires closed-loop control strategies (i.e., policies) that are not only performant but also provably safe and robust. While learning-based methodologies such as Reinforcement Learning offer fle…