Publications

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

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.

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.