JOURNAL ARTICLE
Automated Synthesis of Verified Neural Network Controllers from Linear Temporal Logic Specifications
Keywords:
Metrics
1
Cited By
5.02
FWCI (Field Weighted Citation Impact)
29
Refs
0.91
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Adversarial Robustness in Machine Learning
Physical Sciences → Computer Science → Artificial Intelligence
Software Testing and Debugging Techniques
Physical Sciences → Computer Science → Software
Related Documents
JOURNAL ARTICLE
Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives
Jun WangSamarth KallurayaYiannis Kantaros
Journal: 2022 IEEE 61st Conference on Decision and Control (CDC) Year: 2022 Vol: 34 Pages: 4004-4009
BOOK-CHAPTER
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
Georgios FainekosAntoine GirardGeorge J. Pappas
Lecture notes in computer science Year: 2007 Pages: 203-216
JOURNAL ARTICLE
Automated Formation Control Synthesis from Temporal Logic Specifications
Shuhao QiZengjie ZhangSofie HaesaertZhiyong Sun
Year: 2023 Pages: 5165-5170
JOURNAL ARTICLE
Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications
Salar MoarrefHadas Kress‐Gazit
Journal: Autonomous Robots Year: 2019 Vol: 44 (3-4)Pages: 585-600
JOURNAL ARTICLE
Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints
Wenliang LiuNoushin MehdipourCălin Belta
Journal: IEEE Control Systems Letters Year: 2021 Vol: 6 Pages: 91-96