Publications

Yiqi Zhao, Emily Zhu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy v. Deshmukh, Lars Lindemann (2025). Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications. arXiv preprint arXiv:2504.02964.

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. arXiv preprint arXiv:2409.00536.

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

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

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.

Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma (2023). Fairguard: Harness Logic-based Fairness Rules in Smart Cities. 8th ACM/IEEE Conference on Internet of Things Design and Implementation.