A Formal Safety Net for Waypoint Following in Ground Robots.
Brandon BohrerYong Kiam TanStefan MitschAndrew SogokonAndré PlatzerPublished in: CoRR (2019)
Keyphrases
- mobile robot
- multi robot
- formal model
- cooperative
- robotic agents
- human robot interaction
- industrial robots
- autonomous robots
- multi robot systems
- robotic systems
- human robot
- multiple robots
- quadruped robot
- real time
- autonomous mobile
- coal mining
- manipulation tasks
- mathematical theory
- knowledge base
- information systems
- databases