Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems (bibtex)

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

Reference:

Hoang-Dung Tran, Weiming Xiang and Taylor T. Johnson, "Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems", In IEEE Design and Test (D&T), IEEE, pp. 24–34, 2022.

Bibtex Entry:

@inproceedings{tran2022dt,
  title = {Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems},
  author = {Hoang-Dung Tran and Weiming Xiang and Taylor T. Johnson},
  year = {2022},
  month = feb,
  booktitle = {IEEE Design and Test (D\&T)},
  volume = {39},
  pages = {24--34},
  publisher = {IEEE},
  doi = {10.1109/MDAT.2020.3015712},
  publabel = {J24},
  pubtype = {J},
  dblp = {journals/dt/TranXJ22},
  s2id = {226648636},
}