STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
EMSOFT.
Jul 20, 2025
Safety Assurance for Autonomous Systems with Multiple Sensor Modalities
MEMOCODE 24
Nov 6, 2024
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
IoTDI 23.
Feb 22, 2023