Verification of Timed Asynchronous Programs. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Shankara Narayanan Krishna; Shaan Vaidya (FSTTCS, 2018)

Compositional Learning and Verification of Neural Network Controllers. - Radoslav Ivanov; Kishor Jothimurugan; Steve Hsu; Shaan Vaidya; Rajeev Alur; Osbert Bastani (ACM Trans. Embed. Comput. Syst., 2021)