Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO

Full version of the FMCAD 2026 paper, including proofs, complete encodings, and benchmark appendices.