Generalizable Multi-Agent Planning From Signal Temporal Logic Specifications via Diffusion
A new diffusion method for multi-agent planning with STL specifications is introduced, making the approach generalizable to novel formulas whose predicates are placed anywhere within the goal region covered during training, while achieving the same scalability as existing learning-based methods.