2022workshop

Safety Verification and Repair of Deep Neural Networks

Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil Prokhorov, Taylor T Johnson

Workshop on Formal Verification of Machine Learning (WFVML), 2022

Topics: Learning-based Control and Analysis

Citation

@inproceedings{WFML2022,
  title = {Safety Verification and Repair of Deep Neural Networks},
  author = {Xiaodong Yang and Tomoya Yamaguchi and Bardh Hoxha and Danil Prokhorov and Taylor T Johnson},
  booktitle = {Workshop on Formal Verification of Machine Learning (WFVML), 2022},
  year = {2022},
  url = {http://www.bhoxha.com/papers/WFML2022.pdf},
  video = {https://slideslive.com/38985959},
  keywords = {Learning-based Control and Analysis}
}