Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems

Hoang Dung Tran, Weiming Xiang, Taylor T. Johnson

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

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.

Original languageEnglish (US)
Pages (from-to)24-34
Number of pages11
JournalIEEE Design and Test
Volume39
Issue number1
DOIs
StatePublished - Feb 1 2022

Keywords

  • Autonomy
  • Cyber-physical systems
  • Machine learning
  • Verification

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Electrical and Electronic Engineering

Fingerprint

Dive into the research topics of 'Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems'. Together they form a unique fingerprint.

Cite this