Large Language Models

Neuro-symbolic AI for reliable human-swarm collaboration in complex environments

We propose a formal method and LLM framework for coordinating large fleets of heterogeneous robots in open and dynamic environments. Our approach integrates model-checking-based …

Junfeng Chen

• Dec 1, 2025 • 1 min read

Large Language Models

DEXTER-LLM: Dynamic and Explainable Coordination of Multi-Robot Systems in Unknown Environments via Large Language Models

We propose DEXTER-LLM, a novel framework for dynamic task planning in unknown environments. Our approach integrates LLM-based multi-stage reasoning, optimization-based task …

Yuxiao Zhu

• Oct 22, 2025 • 1 min read

No results found

Large Language Models

Neuro-symbolic AI for reliable human-swarm collaboration in complex environments

DEXTER-LLM: Dynamic and Explainable Coordination of Multi-Robot Systems in Unknown Environments via Large Language Models