Shaan Vaidya

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 2

Top Topics

Control Structures

Automatic Programming

Functional Verification

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Radoslav Ivanov, Kishor Jothimurugan, Steve Hsu, Shaan Vaidya, Rajeev Alur, Osbert Bastani
Compositional Learning and Verification of Neural Network Controllers. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, Shaan Vaidya
Verification of Timed Asynchronous Programs. FSTTCS (2018)