Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems

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

doi:10.1109/MDAT.2020.3015712

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

Reference:

Hoang-Dung Tran, Weiming Xiang, Taylor T. Johnson, "Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems", In IEEE Design and Test, vol. , no. , pp. 1-1, 2020.

Bibtex Entry:

@ARTICLE{tran2020mdat,
  author={Tran, Hoang-Dung and Xiang, Weiming and Johnson, Taylor T.},
  journal={IEEE Design and Test}, 
  title={Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems}, 
  year={2020},
  volume={},
  number={},
  pages={1-1},
  doi={10.1109/MDAT.2020.3015712},
  pdf="research/tran2020dandt.pdf",
}