2025journal

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies

Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy Deshmukh, Lars Lindemann

ACM Transactions on Embedded Computing Systems (TECS), 2025

Topics: Spatio-Temporal Logic; Distributed Systems and Networks

Citation

@article{Zhao25-STLGO,
  title = {STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies},
  author = {Yiqi Zhao and Xinyi Yu and Bardh Hoxha and Georgios Fainekos and Jyotirmoy Deshmukh and Lars Lindemann},
  booktitle = {ACM Transactions on Embedded Computing Systems (TECS), 2025},
  year = {2025},
  url = {https://dl.acm.org/doi/pdf/10.1145/3760258},
  keywords = {Spatio-Temporal Logic, Distributed Systems and Networks}
}