Sumukh Shivakumar

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 3

Top Topics

Specification Languages

Operating System

Microsoft Windows

Top Venues

Publications

Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. RV (2020)
Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. CoRR (2020)
Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue
Formal Specification for Deep Neural Networks. ATVA (2018)