Zhu, Emily

1. Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
   2025/04/03 by Zhao, Yiqi, Zhu, Emily, Hoxha, Bardh +3 · 1 citation
   #FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering