Souradeep Dutta
(was student at University of Colorado, Boulder. Now, PostDoc at University of Pennsylvania)
Sauradeep visited CSL, SRI in Summer, 2017 and was co-advised by Dr. Ashish Tiwari and Dr. Susmit Jha.
Publication:
(2018).
Output range analysis for deep neural networks.
In NASA Formal Methods 2018.
(2018).
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks.
In ADHS 2018.