Melding LLM and temporal logic for reliable human-swarm collaboration in complex scenarios

TL;DR

This paper presents a neuro-symbolic framework combining temporal logic and LLM reasoning for reliable, scalable human-swarm collaboration in dynamic, complex environments, reducing operator burden.

Contribution

It introduces a formal, verifiable planning approach that integrates temporal logic, LLMs, and uncertainty-aware scheduling for robust human-swarm teamwork.

Findings

Framework achieves reliable task planning aligned with mission rules.

System remains robust to hardware uncertainties and dynamic changes.

Deployment demonstrates effective human-swarm collaboration with minimal operator intervention.

Abstract

Robot swarms promise scalable assistance in complex and hazardous environments. Task planning lies at the core of human-swarm collaboration, translating the operator's intent into coordinated swarm actions and helping determine when validation or intervention is required during execution. In long-horizon missions under dynamic scenarios, however, reliable task planning becomes difficult to maintain: emerging events and changing conditions demand continual adaptation, and sustained operator oversight imposes substantial cognitive burden. Existing LLM-based planning tools can support plan generation, yet they remain susceptible to invalid task orderings and infeasible robot actions, resulting in frequent manual adjustment. Here we introduce a neuro-symbolic framework for long-horizon human-swarm collaboration that tightly melds verifiable task planning with context-grounded LLM reasoning. We formalize mission goals and operational rules as temporal logic formulas and admissible task orderings as task automata. Conditioned on these formal constraints and live perceptual context, LLMs generate executable subtask sequences that satisfy mission rules and remain grounded in the current scene. An uncertainty-aware scheduler then assigns subtasks across the heterogeneous swarm to maximize parallelisms while remaining resilient to disruptions. An event-triggered interaction protocol further limits operator involvement to sparse, high-level confirmation and guidance. Deployment on a heterogeneous robotic fleet yields similar results while remaining robust to hardware-specific actuation and communication uncertainties. Together, these results support a formal and scalable paradigm for reliable and low-overhead human-swarm collaboration in dynamic environments