Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2025
STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
Yiqi Zhao, Xinyi Yu, Bardh Hoxha +3
Multi-agent systems (MASs) consisting of a number of autonomous agents that communicate, coordinate, and jointly sense the environment to achieve complex missions can be found in a…