Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time?
Angelo FerrandoZeid KootballyPavel PiliptchakRafael C. CardosoCraig SchlenoffMichael FisherPublished in: AIRO@AI*IA (2020)
Keyphrases
- mobile robot
- human robot interaction
- robot navigation
- humanoid robot
- real time
- position and orientation
- autonomous robots
- multi robot
- path planning
- model checking
- project management
- experimental platform
- robotic systems
- formal verification
- verification method
- service robots
- robot arm
- signature verification
- robot control
- real robot
- obstacle avoidance
- face verification
- international competition
- goal directed
- vision system
- semi autonomous
- asynchronous backtracking
- manipulation tasks
- human robot
- end effector
- supply chain management
- software development
- control system