Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems

Hoang Dung Tran, Weiming Xiang, Taylor T. Johnson

Research output: Contribution to journalArticlepeer-review

7 Scopus citations


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
Issue number1
StatePublished - Feb 1 2022


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

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Electrical and Electronic Engineering


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

Cite this