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…