Tutorial: Verification and Validation of Neural Networks in Automated Vehicles using the Neural Network Verification (NNV) Tool (bibtex)

by Hoang-Dung Tran, Diego Manzanas Lopez and Taylor T. Johnson

Reference:

Hoang-Dung Tran, Diego Manzanas Lopez and Taylor T. Johnson, "Tutorial: Verification and Validation of Neural Networks in Automated Vehicles using the Neural Network Verification (NNV) Tool", In IEEE International Automated Vehicle Validation Conference (IAVVC'23), IEEE, 2023.

Bibtex Entry:

@inproceedings{tran2023iavvc_tutorial,
  title = {Tutorial: Verification and Validation of Neural Networks in Automated Vehicles using the Neural Network Verification (NNV) Tool},
  author = {Hoang-Dung Tran and Diego Manzanas Lopez and Taylor T. Johnson},
  year = {2023},
  month = oct,
  booktitle = {IEEE International Automated Vehicle Validation Conference (IAVVC'23)},
  publisher = {IEEE},
  publabel = {D10},
  pubtype = {D},
}