TY  - RPRT
TI  - STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
AU  - Yiqi Zhao
AU  - Xinyi Yu
AU  - Bardh Hoxha
AU  - Georgios Fainekos
AU  - Jyotirmoy V. Deshmukh
AU  - Lars Lindemann
PY  - 2025
UR  - https://arxiv.org/abs/2507.15147
ID  - 2507.15147
ER  -