Intelligent Control Lab hight=
  • Home
  • Research
  • Publication
  • People
    • Faculty
    • Members
    • Alumni
  • Robots
  • News
  • Contact Us

2nd International Verification of Neural Networks Competition (VNN-COMP'21)

July 18, 2021

The organizers reported the results of VNN-COMP’21 on 4th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS) affiliated with CAV 2021. The benchmarks used in the competition can be found here. The final slides can be found here. The final report will be out soon.

Previous: Presentation Video in ECC, 2021 Next: Keynote Talk in the RSS R4P Workshop

Intelligent Control Lab

Site Map

  • News
  • Professor
  • Current Students
  • Robots
  • Research
  • Publication

Contact

  • Directions
  • Privacy Statement
  • Webmaster

© 2025 Intelligent Control Laboratory of Robotics Institute in School of Computer Science at Carnegie Mellon University