TECoSA Research Seminar: An Approach to Multi-Agent Planning from Spatio-Temporal Specifications

Speaker: Georg Schupp, TECoSA PhD
Location: KTH Campus (Teknikringen 14, room 304)
Zoom link and sign-up link circulated to members
Please email vickid@kth.se if you have any questions.

ABSTRACT:  When deploying autonomous robots into the real world, we desire for them to be safe and to work as intended. One increasingly popular way to approach this challenging problem is through a formal methods framework, which combines two great advantages:

(i) The ability to rigorously describe various involved tasks and constraints on the robot’s behavior through temporal logics, such as Linear Temporal Logic (LTL); and

(ii) Generic algorithms to compute plans that are correct by design, i.e. provably satisfy the logic formula.

Directly applying techniques from formal methods to multi-agent task planning problems poses several challenges and confronts the designer of such problem solving algorithms with several key design decisions. In this talk, we explore how to model computational and human actors  coexisting in a shared environment, each with their own capabilities and goals. We present a unified framework that computes minimal assumptions on the behaviour of human actors and robots and communicates them as least-limiting advisers.