TY - RPRT TI - An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators AU - Sheryl Paul AU - Vidisha Kudalkar AU - Anand Balakrishnan AU - Tianhao Wu AU - Lars Lindemann AU - Jyotirmoy V. Deshmukh PY - 2026 UR - https://arxiv.org/abs/2606.28429 ID - 2606.28429 ER -