Assured Autonomy Tools Portal
Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)

Submitted by Yogesh Barve on Fri, 09/10/2021 - 11:25 am

This report summarizes the second International Verification of Neural Networks Competition (VNN-COMP 2021), held as a part of the 4th Workshop on Formal Methods for ML-Enabled Autonomous Systems that was collocated with the 33rd International Conferen


Submitted by Matthew Warner on Thu, 04/08/2021 - 1:17 pm

Held January 25-27, 2021