External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

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]

Authors

Meiyi Ma

This author has not been identified. Look up 'Meiyi Ma' in Google

Ezio Bartocci

This author has not been identified. Look up 'Ezio Bartocci' in Google

Eli Lifland

This author has not been identified. Look up 'Eli Lifland' in Google

John A. Stankovic

This author has not been identified. Look up 'John A. Stankovic' in Google

Lu Feng 0001

This author has not been identified. Look up 'Lu Feng 0001' in Google
runs on