STL-GO

Researchers introduced two encodings for multi-agent path planning with spatio-temporal and topological constraints expressed in STL-GO, a logic supporting graph operators. The encodings, based on mix…