Georg Schuppe

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

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 c…