Publications

2026

Z-sight: Unifying Vision-Language-Action and Latent World Modeling

Junjie Ye^*, Yiqi Zhao^*, Muchen Xu^*, Celina Shiyu Wang, Hao Dong, Ruohai Ge, Rong Xue, Benjamin J. Kolligs, Aditya Dutt, Nassim A. Samad, Jyotirmoy V. Deshmukh, Yue Wang^†, Yuliang Guo^†

Rolling-WAM: World Action Models with Rolling Imagination

Yinghua Zhou^*, Junjie Ye^*, Yiqi Zhao, Hao Dong, Celina Shiyu Wang, Ruohai Ge, Tingyi Yang, Basile Van Hoorick, Gaurav S. Sukhatme, Vitor Campagnolo Guizilini^†, Yue Wang^†

PDF Cite Code Project

A Unified Perspective on Conformal Prediction and Wasserstein Distributionally Robust Optimization for Uncertainty Quantification

Kehan Long, Yiqi Zhao, Pol Mestres, Lars Lindemann, Nikolay Atanasov, Jorge Cortés

Under submission at Annual Reviews in Control

Safety-aware Model Predictive Path Integral Control with Signal Temporal Logic

Yiqi Zhao, Taekyung Kim, Hideki Okamoto, Bardh Hoxha, Jyotirmoy V. Deshmukh, Lars Lindemann, Georgios Fainekos

PDF Cite Project

Logic-VLA: A Temporal Logic Conditioned Vision-Language-Action Model

Celina Shiyu Wang, Yiqi Zhao^†, Junjie Ye, Yue Wang, Jyotirmoy V. Deshmukh^†

🏆 Best Poster Award, IROS 2026 LAFR Workshop

PDF Cite Project

DUET: Dual-Robot Understanding via Efficient Teaching

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

🏆 Best Paper Finalist, IROS 2026 PhysCollaBot Workshop

🏆 Best Contribution, IROS 2026 RWCMRC Workshop

PDF Cite Video Project

2025

Formal Verification and Control with Conformal Prediction

Lars Lindemann, Yiqi Zhao, Xinyi Yu, George J. Pappas, Jyotirmoy V. Deshmukh

IEEE Control Systems

PDF Cite Slides

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies

Yiqi Zhao^*, Xinyi Yu^*, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann

ACM Transactions on Embedded Computing Systems

ACM SIGBED International Conference on Embedded Software (EMSOFT)

Formal Logic-Guided Harnessing Heterogeneous Fairness Rules in Smart Cities

Ziyan An, Yiqi Zhao, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma

ACM Transactions on Cyber-Physical Systems

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications

Yiqi Zhao, Emily Zhu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann

ACM Transactions on Cyber-Physical Systems

PDF Cite Code Poster Video

2024

Safety Assurance for Autonomous Systems with Multiple Sensor Modalities

Anand Balakrishnan, Rohit Bernard, Shreeram Narayanan, Vidisha Kudalkar, Yiqi Zhao, Parinitha Nagaraja, Georgi Markov, Christof Budnik, Helmut Degen, Lars Lindemann, Jyotrimoy Deshmukh

The 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE)

Conformal Predictive Programming for Chance Constrained Optimization

Yiqi Zhao^*, Xinyi Yu^*, Matteo Sesia, Jyotirmoy V. Deshmukh, Lars Lindemann

Under submission at Automatica

2023

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction

Xinyi Yu, Yiqi Zhao, Xiang Yin, Lars Lindemann

Automatica (Regular Paper)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift

Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann

🏆 Best Paper Finalist, ICCPS 2024

The 15th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)

EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability

Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor Johnson

Fairguard: Harness Logic-based Fairness Rules in Smart Cities

Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma

The 8th ACM/IEEE Conference on Internet of Things Design and Implementation (IoTDI)