Formal Logic-Guided Harnessing Heterogeneous Fairness Rules in Smart Cities
TCPS
May 27, 2025
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
TCPS.
Apr 3, 2025
Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
Automatica. Regular Paper.
Dec 7, 2023