activity
20182021
most citedDeepTake: Prediction of Driver Takeover Behavior using Multimodal Data

83 citations · 180 across the 12 of their papers we have counts for

collaborators
Showing cs.CYShow all

1 paper · 1 filter

cs.CY2019

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

Meiyi Ma, Ezio Bartocci, Eli Lifland +2

We present SaSTL -- a novel Spatial Aggregation Signal Temporal Logic -- for the efficient runtime monitoring of safety and performance requirements in smart cities. We first descr…