Synthesis for robots: guarantees and feedback for robot behavior
Robot control for tasks such as moving around obstacles or grasping objects has advanced significantly in the last few decades. However, controlling robots to perform complex tasks is still accomplished largely by highly trained programmers in a manual, time-consuming, and error-prone process that i...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Published: |
Annual Reviews
2018
|