Conformal Prediction for STL Runtime Verification

Socially Fair Coverage Control

eRoute: Mobility-Driven Integration of Heterogeneous Urban Cyber-Physical Systems under Disruptive Events