AI RESEARCH
High-Level Multi-Robot Trajectory Planning And Spurious Behavior Detection
arXiv CS.LG
•
ArXi:2510.17261v2 Announce Type: replace-cross The reliable execution of high-level missions in multi-robot systems with heterogeneous agents, requires robust methods for detecting spurious behaviors. In this paper, we address the challenge of identifying spurious executions of plans specified as a Linear Temporal Logic (LTL) formula, as incorrect task sequences, violations of spatial constraints, timing inconsistencies, or deviations from intended mission semantics. To tackle this, we