SMC-ES: Automated synthesis of formally verified control policies
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 flexible and scalable approaches to automatically synthesize such controllers, they typically lack the formal guarantees necessary for safe deployment. To bridge this gap, we propose a novel simulation-based methodology to automatically synthesize policies with formal guarantees regarding performance, safety, and robustne
Lineage graph
Paper → model → repo connections mined from source citations (Tier-1 exact match).
Why these links exist
Every edge carries a method, confidence, and the source snippet that justified it — so bad links are debuggable.
- FuzzySimilar title/name (fuzzy) · 87%lllyasviel/ControlNet →
“Fuzzy title match (0.94): “SMC-ES: Automated synthesis of formally verified control pol” ≈ “lllyasviel/ControlNet””
- FuzzySimilar title/name (fuzzy) · 87%lllyasviel/ControlNet-v1-1 →
“Fuzzy title match (0.94): “SMC-ES: Automated synthesis of formally verified control pol” ≈ “lllyasviel/ControlNet-v1-1””
- PossiblePossibly related (embedding) · 47%Securing the future of AI agents →
- FuzzySimilar title/name (fuzzy) · 87%google-deepmind/dm_control →
“Fuzzy title match (0.94): “SMC-ES: Automated synthesis of formally verified control pol” ≈ “google-deepmind/dm_control””
- FuzzySimilar title/name (fuzzy) · 59%builderz-labs/mission-control →
“Fuzzy title match (0.73): “SMC-ES: Automated synthesis of formally verified control pol” ≈ “builderz-labs/mission-control””
- LinkedLinked via arxiv author · 85%Riccardo Curcio →
“SMC-ES: Automated synthesis of formally verified control policies”
- LinkedLinked via arxiv author · 85%Toni Mancini →
“SMC-ES: Automated synthesis of formally verified control policies”
- LinkedLinked via arxiv author · 85%Enrico Tronci →
“SMC-ES: Automated synthesis of formally verified control policies”