Follow
Shaan Vaidya
Title
Cited by
Cited by
Year
Compositional learning and verification of neural network controllers
R Ivanov, K Jothimurugan, S Hsu, S Vaidya, R Alur, O Bastani
ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-26, 2021
332021
A Study of the McEliece PKE
S Vaidya, S Dutta
Spring, 2018
12018
Verification of Timed Asynchronous Programs
PA Abdulla, MF Atig, SN Krishna, S Vaidya
38th IARCS Annual Conference on Foundations of Software Technology and …, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–3