C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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