1 code implementation • 25 Sep 2023 • Andreea Postovan, Mădălina Eraşcu
The results of the 4th International Verification of Neural Networks Competition (VNN-COMP'23) revealed the fact that 4, out of 7, solvers can handle many of our benchmarks randomly selected (minimum is 6, maximum is 36, out of 45).
4 code implementations • 27 Mar 2023 • Andreea Postovan, Mădălina Eraşcu
Traffic signs support road safety and managing the flow of traffic, hence are an integral part of any vision system for autonomous driving.