Formal Specification for Deep Neural Networks. - Sanjit A. Seshia; Ankush Desai; Tommaso Dreossi; Daniel J. Fremont; Shromona Ghosh; Edward Kim 005; Sumukh Shivakumar; Marcell Vazquez-Chanlatte; Xiangyu Yue 001 (ATVA, 2018)

SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. - Sumukh Shivakumar; Hazem Torfah; Ankush Desai; Sanjit A. Seshia (RV, 2020)