Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation
Karan Muvvala,Peter Amorese,Morteza Lahijanian,Karan Muvvala,Peter Amorese,Morteza Lahijanian
As robots gain capabilities to enter our humancentric 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 as...
