Stipanovic, Dusan M.

1. Fast Neural Network Verification via Shadow Prices
   2019/02/19 by Vicenç Rúbies Royo, Rubies-Royo, Vicenc, Roberto Calandra +5 · 1 citation
   Computer Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms #Model Reduction and Neural Networks