Shaan Vaidya

According to our database, Shaan Vaidya authored at least 2 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

2018

Verification of Timed Asynchronous Programs.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, Shaan Vaidya

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018