SOTER: Programming Safe Robotics System using Runtime Assurance.

Ankush Desai Shromona Ghosh Sanjit A. Seshia Natarajan Shankar Ashish Tiwari

Published in: CoRR (2018)

Keyphrases

robot programming
computer vision
programming language
artificial intelligence
object oriented programming
computer programming
programming course
real world
multi agent
machine intelligence
development environment
industrial robots
high level language