arXiv cs.NE
· Papers
SMC-ES: Automated synthesis of formally verified control policies
arXiv:2607.15003v1 Announce Type: cross Abstract: 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