Robotics: Science and Systems XIX

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

Georg Schuppe, Ilaria Torre, Iolanda Leite, Jana Tumova

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.

Download:

Bibtex:

  
@INPROCEEDINGS{Schuppe-RSS-23, 
    AUTHOR    = {Georg Schuppe AND Ilaria Torre AND Iolanda Leite AND Jana Tumova}, 
    TITLE     = {{Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop}}, 
    BOOKTITLE = {Proceedings of Robotics: Science and Systems}, 
    YEAR      = {2023}, 
    ADDRESS   = {Daegu, Republic of Korea}, 
    MONTH     = {July}, 
    DOI       = {10.15607/RSS.2023.XIX.001} 
}