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
Formal Verification and Control with Conformal Prediction
IEEE Control Systems.
Aug 31, 2024
Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
Automatica. Regular Paper.
Dec 7, 2023