Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop

Georg Schuppe
KTH Royal Institute of Technology
Ilaria Torre
KTH Royal Institute of Technology
Iolanda Leite
KTH Royal Institute of Technology
Jana Tumova
KTH Royal Institute of Technology
Paper Website

Paper ID 1

Session 1. Human-Centered Robotics

Poster Session Tuesday, July 11

Poster 1

Abstract: We focus on correct-by-design robot task planning from finite Linear Temporal Logic (LTLf) specifications with a human in the loop. Since provable guarantees are difficult to obtain unconditionally, we take an assume-guarantee perspective. Along with guarantees on the robot’s task satisfaction, we compute the weakest sufficient assumptions on the human’s behavior. We approach the problem via a stochastic game and leverage algorithmic synthesis of the weakest sufficient assumptions. We turn the assumptions into runtime advice to be communicated to the human. We conducted an online user study and showed that the robot is perceived as safer, more intelligent and more compliant with our approach than a robot giving more frequent advice corresponding to stronger assumptions. In addition, we show that our approach leads to less violations of the specification than not communicating with the participant at all.