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

Sumukh Shivakumar Hazem Torfah Ankush Desai Sanjit A. Seshia

Published in: CoRR (2020)

Keyphrases

operating system
computer systems
microsoft windows
information systems
distributed systems
database
mobile robot
operating environment
linux kernel
databases
query processing
high speed
virtual machine
windows xp