The International Conference on Assured Autonomy (ICAA) plans to address the gap that exists between theory-heavy artificially intelligent autonomous systems and the pr
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
Held January 25-27, 2021