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]
@inproceedings{MaBLS020,
title = {SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities},
author = {Meiyi Ma and Ezio Bartocci and Eli Lifland and John A. Stankovic and Lu Feng 0001},
year = {2020},
doi = {10.1109/ICCPS48487.2020.00013},
url = {https://doi.org/10.1109/ICCPS48487.2020.00013},
researchr = {https://researchr.org/publication/MaBLS020},
cites = {0},
citedby = {0},
pages = {51-62},
booktitle = {11th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2020, Sydney, Australia, April 21-25, 2020},
publisher = {IEEE},
isbn = {978-1-7281-5501-2},
}