Login / Signup
SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities.
Meiyi Ma
Ezio Bartocci
Eli Lifland
John A. Stankovic
Lu Feng
Published in:
ICCPS (2020)
Keyphrases
</>
temporal logic
spatial aggregation
smart cities
model checking
smart city
modal logic
service integration
entry point
world wide
verification method
linear temporal logic
mazurkiewicz traces
transition systems
belief revision
data mining
abstract data types
expressive power