SyReNN: A Tool for Analyzing Deep Neural Networks

Sotoudeh, Matthew and Thakur, Aditya V.
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS, 2021



@inproceedings{TACAS2021,
  author = {Sotoudeh, Matthew and Thakur, Aditya V.},
  title = {SyReNN: A Tool for Analyzing Deep Neural Networks},
  booktitle = {27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems {TACAS}},
  publisher = {Springer},
  year = {2021},
  note = {To appear}
}