690 followers
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems https://t.co/O18xTaERXa Thanks to the attendees and to @caterinaurban for chairing the session! 2/2 https://t.co/0Gwu7TIoPW