Fast Falsification of Neural Networks using Property Directed Testing

Moumita Das, Rajarshi Ray, Swarup Kumar Mohalik +1

Neural networks are now extensively used in perception, prediction and control of autonomous systems. Their deployment in safety-critical systems brings forth the need for verifica…