Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng 0001. SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities. In 11th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2020, Sydney, Australia, April 21-25, 2020. pages 51-62, IEEE, 2020. [doi]
Abstract is missing.