Sumukh Shivakumar

According to our database, Sumukh Shivakumar authored at least 2 papers between 2018 and 2020.

Collaborative distances:

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

2020

SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System.

Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia

Proceedings of the Runtime Verification - 20th International Conference, 2020

2018

Formal Specification for Deep Neural Networks.

Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue

Proceedings of the Automated Technology for Verification and Analysis, 2018