SyReNN: A Tool for Analyzing Deep Neural Networks.

Matthew Sotoudeh, Aditya V. Thakur

Browse the full TACAS paper archive.