Abstract:Efficient coordination and planning is essential for large-scale multi-agent systems that collaborate in a shared dynamic environment. Heuristic search methods or learning-based approaches often lack the guarantee on correctness and performance. Moreover, when the collaborative tasks contain both spatial and temporal requirements, e.g., as Linear Temporal Logic (LTL) formulas, formal methods provide a verifiable framework for task planning. However, since the planning complexity grows exponentially with the number of agents and the length of the task formula, existing studies are mostly limited to small artificial cases. To address this issue, a new planning paradigm is proposed in this work for system-wide temporal task formulas that are released online and continually. It avoids two common bottlenecks in the traditional methods, i.e., (i) the direct translation of the complete task formula to the associated Büchi automaton; and (ii) the synchronized product between the Büchi automaton and the transition models of all agents. Instead, an adaptive planning algorithm is proposed that computes the product of relaxed partially-ordered sets (R-posets) on-the-fly, and assigns these subtasks to the agents subject to the ordering constraints. It is shown that the first valid plan can be derived with a polynomial time and memory complexity w.r.t. the system size and the formula length. Our method can take into account task formulas with a length of more than 400 and a fleet with more than $400$ agents, while most existing methods fail at the formula length of 25 within a reasonable duration. The proposed method is validated on large fleets of service robots in both simulation and hardware experiments.

Planning with Spatio-Temporal Search Control Knowledge.

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications

Perception-Based Temporal Logic Planning in Uncertain Semantic Maps

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning

Spatiotemporal Extensions to a Controlled Natural Language

A SAT-based approach to cost-sensitive temporally expressive planning

Fast and Adaptive Multi-agent Planning under Collaborative Temporal Logic Tasks via Poset Products

Physics-based Motion Planning with Temporal Logic Specifications

Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic

DT*: Temporal Logic Path Planning in a Dynamic Environment

PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

Knowing How to Plan about Planning: Higher-order and Meta-Level Epistemic Planning

Model-based motion planning in POMDPs with temporal logic specifications

CoT-TL: Low-Resource Temporal Knowledge Representation of Planning Instructions Using Chain-of-Thought Reasoning

An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis

Planning for Stochastic Games with Co-Safe Objectives.

Planning as Theorem Proving with Heuristics

Planning-based knowing how: A unified approach

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications

MAPS$^2$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications