SaSTL extends Signal Temporal Logic with spatial aggregation and counting operators, and its monitor checks such smart-city requirements over thousands of sensors in parallel.
A case study of trust on autonomous driving,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CY 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities
SaSTL extends Signal Temporal Logic with spatial aggregation and counting operators, and its monitor checks such smart-city requirements over thousands of sensors in parallel.