A Formal Safety Net for Waypoint-Following in Ground Robots.
Brandon BohrerYong Kiam TanStefan MitschAndrew SogokonAndré PlatzerPublished in: IEEE Robotics Autom. Lett. (2019)
Keyphrases
- cooperative
- mobile robot
- robotic agents
- autonomous robots
- information systems
- robotic systems
- formal specification
- autonomous mobile
- multi robot
- human robot interaction
- robot control
- artificial agents
- formal methods
- multiple robots
- safety critical
- search and rescue
- evolutionary robotics
- formal models
- traffic accidents
- autonomous vehicles
- data sets
- formal model
- artificial intelligence
- real world