High-Level Multi-Robot Trajectory Planning And Spurious Behavior Detection. - Fernando Salanova; Jesús Roche; Cristian Mahuela; Eduardo Montijano (CoRR, 2025)