2 papers
cs.AI2026
Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO
Sheryl Paul, Vidisha Kudalkar, Anand Balakrishnan +3
Multi-agent planning problems arise in a variety of engineering applications, such as multi-robot wildfire fighting and unmanned aerial inspection in factories. A particular challe…
cs.LO2026
An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators
Sheryl Paul, Vidisha Kudalkar, Anand Balakrishnan +3
Spatio-Temporal Logic with Graph Operators (STL-GO) extends Signal Temporal Logic (STL) to multi-agent systems via graph operators that count neighboring agents satisfying a proper…