Tag
This paper presents two sound encodings (MIP and SMT) for multi-agent path planning with spatio-temporal and topological constraints expressed in STL-GO, and evaluates them on a multi-UAV search-and-rescue benchmark.