Paper-Conference

Safety Assurance for Autonomous Systems with Multiple Sensor Modalities

MEMOCODE 24

Nov 6, 2024

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift

ICCPS 24, Best Paper Finalist.

Nov 16, 2023

Fairguard: Harness Logic-based Fairness Rules in Smart Cities
Fairguard: Harness Logic-based Fairness Rules in Smart Cities

IoTDI 23.

Feb 22, 2023