Publications

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

PDF Cite Code

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.

PDF Cite Code

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.

PDF Cite Code

Lars Lindemann, Yiqi Zhao, Xinyi Yu, George J. Pappas, Jyotirmoy V. Deshmukh (2023). Formal Verification and Control with Conformal Prediction. arXiv preprint arXiv:2409.00536.

PDF Cite

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.

PDF Cite Code

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.

PDF Cite