@inproceedings{grese2021formal,
  title={Formal Analysis of a Neural Network Predictor in Shared-Control Autonomous Driving},
  author={Grese, John M and Pasareanu, Corina and Pakdamanian, Erfan},
  booktitle={AIAA Scitech 2021 Forum},
  pages={1580},
  year={2021}
}