We gratefully acknowledge support from
the Simons Foundation and member institutions.

Meiyi Ma is qualified to endorse.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities

Meiyi Ma: Is registered as an author of this paper.
Can endorse for cs.CY, cs.FL, cs.LG, cs.SE. (why?)

Ezio Bartocci, Eli Lifland, John Stankovic and Lu Feng are not registered as owners of this paper. (why?)