Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation
Abstract
As robots gain capabilities to enter our human-centric world, they require formalism and algorithms that enable smart and efficient interactions. This is challenging, especially for robotic manipulators with complex tasks that may require collaboration with humans. Prior works approach this problem through reactive synthesis and generate strategies for the robot that guarantee task completion by assuming an adversarial human. While this assumption gives a sound solution, it leads to an "unfriendly" robot that is agnostic to the human intentions. We relax this assumption by formulating the problem using the notion of regret. We identify an appropriate definition for regret and develop regret-minimizing synthesis framework that enables the robot to seek cooperation when possible while preserving task completion guarantees. We illustrate the efficacy of our framework via various case studies.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2022
- DOI:
- 10.48550/arXiv.2203.06861
- arXiv:
- arXiv:2203.06861
- Bibcode:
- 2022arXiv220306861M
- Keywords:
-
- Computer Science - Robotics;
- Computer Science - Formal Languages and Automata Theory;
- Computer Science - Computer Science and Game Theory
- E-Print:
- To appear in IEEE International Conference on Robotics and Automation (ICRA), May. 2022