control synthesis 1evolutionary strategies 1formal verification 1safe reinforcement learning 1statistical model checking 1
From the 1 of 2 linked papers with an AI index.
2 papers
cs.RO2026
LyEvO: Lyapunov-Guided Evolutionary Optimization for Safe and Robust Sim-to-Real Policy Learning
Riccardo Curcio, Hongpeng Cao, Marco Caccamo
Training controllers that are safe and robust in simulation, and systematically assessing their readiness for real-world deployment, remain key challenges in sim-to-real transfer.…
cs.AI2026
SMC-ES: Automated synthesis of formally verified control policies
Riccardo Curcio, Toni Mancini, Enrico Tronci
The paper presents SMC-ES, an algorithm that combines evolutionary strategies with statistical model checking to automatically synthesize control policies that come with formal gua…