Multi-Robot Task Planning with Human-in-the-Loop

This deliverable describes the planning/control methods used to allow a human to add specifications as spatio-temporal formulas in real time to a subset of the multi-robot system subject to the safe-by-design plan developed in T8.2. The planning strategy will also incorporate human preference learning to adapt the plan as needed.