verification safety neural network testing robustness machine learning gsn metrics sotif synthesis certification formal methods
Mehr anzeigen