Safety and Robustness Verification of Autoencoder based Regression Model using NNV Tool (bibtex)

Reference:

Neelanjana Pal and Taylor T. Johnson, "Safety and Robustness Verification of Autoencoder based Regression Model using NNV Tool", In 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR'21), 2021.

Bibtex Entry:

@inproceedings{pal2021snr,
  title = {Safety and Robustness Verification of Autoencoder based Regression Model using NNV Tool},
  author = {Neelanjana Pal and Taylor T. Johnson},
  year = {2021},
  month = aug,
  booktitle = {7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR'21)},
  publabel = {OW16},
  pubtype = {OW},
}