Publications

Yiqi Zhao, Ruohai Ge, Celina Shiyu Wang, Junjie Ye, Muchen Xu, Minhao Li, Sergey Zakharov, Basile Van Hoorick, Vitor Campagnolo Guizilini, Leonidas Guibas, Gaurav S. Sukhatme, Jyotirmoy v. Deshmukh, Yue Wang (2026). DUET: Dual-Robot Understanding via Efficient Teaching.

Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy v. Deshmukh, Lars Lindemann (2025). STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies. the ACM SIGBED International Conference on Embeddeed Software, 2025.

Ziyan An, Yiqi Zhao, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma (2025). Formal Logic-Guided Harnessing Heterogeneous Fairness Rules in Smart Cities. ACM Transactions on Cyber-Physical Systems.

Yiqi Zhao, Xinyi Yu, Matteo Sesia, Jyotirmoy v. Deshmukh, Lars Lindemann (2025). Conformal Predictive Programming for Chance Constrained Optimization. arXiv preprint arXiv:2402.07407.

Yiqi Zhao, Emily Zhu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy v. Deshmukh, Lars Lindemann (2025). Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications. ACM Transactions on Cyber-Physical Systems.

Anand Balakrishnan, Rohit Bernard, Shreeram Narayanan, Vidisha Kudalkar, Yiqi Zhao, Parinitha Nagaraja, Georgi Markov, Christof Budnik, Helmut Degen, Lars Lindemann, Jyotrimoy Deshmukh (2024). Safety Assurance for Autonomous Systems with Multiple Sensor Modalities. 22nd ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE).

Lars Lindemann, Yiqi Zhao, Xinyi Yu, George J. Pappas, Jyotirmoy v. Deshmukh (2024). Formal Verification and Control with Conformal Prediction. IEEE Control Systems.

Xinyi Yu, Yiqi Zhao, Xiang Yin, Lars Lindemann (2023). Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction. Automatica.

Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy v. Deshmukh, Lars Lindemann (2023). Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. 15th ACM/IEEE International Conference on Cyber-Physical Systems.

Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor Johnson (2023). EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability. arXiv preprint arXiv:2308.07890.