Verification Approaches for Learning-Enabled Autonomous Cyber–Physical Systems
Hoang-Dung Tran, Weiming Xiang, Taylor T. Johnson
Abstract
<italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">Editor’s notes:</i> 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. — <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">Selma Saidi, TU Dortmund</i>
Topics & Concepts
Cyber-physical systemComputer scienceHuman–computer interactionSystems engineeringEngineeringOperating systemFormal Methods in VerificationSoftware Testing and Debugging TechniquesMachine Learning and Algorithms