Loading [a11y]/accessibility-menu.js
Verification Approaches for Learning-Enabled Autonomous Cyber–Physical Systems | IEEE Journals & Magazine | IEEE Xplore

Verification Approaches for Learning-Enabled Autonomous Cyber–Physical Systems


Abstract:

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 advo...Show More

Abstract:

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
Published in: IEEE Design & Test ( Volume: 39, Issue: 1, February 2022)
Page(s): 24 - 34
Date of Publication: 12 August 2020

ISSN Information:

Funding Agency:


References

References is not available for this document.