no code implementations • 6 Mar 2022 • Robin Brown, Edward Schmerling, Navid Azizan, Marco Pavone
Verifying that input-output relationships of a neural network conform to prescribed operational specifications is a key enabler towards deploying these networks in safety-critical applications.