Verification Approaches for Learning-Enabled Autonomous Cyber–Physical Systems

Hoang-Dung Tran,Weiming Xiang,Taylor T. Johnson

IEEE Design & Test（2022）

引用 21|浏览30

暂无评分

摘要

Editor’s notes: Neural network control systems are often at the heart of autonomous systems. The authors classify existing verification methods for these systems and advocate the necessity of integrating verification techniques in the training process to enhance robustness. — Selma Saidi, TU Dortmund

查看译文

关键词

verification,machine learning,autonomy,cyber-physical systems

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要