Sofie Andersson

Human-in-the-Loop Mixed-Initiative Control Under Temporal Tasks

This paper considers the motion control and task planning problem of mobile robots under complex high-level tasks and human initiatives. The assigned task is specified as Linear Temporal Logic (LTL) formulas that consist of hard and soft constraints. The human initiative influences the robot autonom…