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

Sumukh Shivakumar Hazem Torfah Ankush Desai Sanjit A. Seshia

Published in: RV (2020)

Keyphrases

operating system
computer systems
mobile robot
databases
microsoft windows
database systems
data model
virtual machine
red hat