Yiqi Zhao
Scholar

Yiqi Zhao

Google Scholar ID: kim0L6QAAAAJ
PhD Student of Computer Science, University of Southern California
RoboticsCyber-Physical SystemsFormal MethodsSystems and Control Theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
77
 
H-index
4
 
i10-index
2
 
Publications
10
 
Co-authors
11
list available
Contact
No contact links provided.
Publications
5 items
Duet: Dual-Robot Understanding via Efficient Teaching
2026
Cited
0
STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
2025
Cited
0
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
2025
Cited
0
Formal Verification and Control with Conformal Prediction
arXiv.org · 2024
Cited
10
Conformal Predictive Programming for Chance Constrained Optimization
arXiv.org · 2024
Cited
3
Resume (English only)
Co-authors
11 total
Lars Lindemann
Lars Lindemann
Assistant Professor of Algorithmic Systems Theory, ETH Zürich
Jyotirmoy V. Deshmukh
Jyotirmoy V. Deshmukh
Associate Professor, University of Southern California
Bardh Hoxha
Bardh Hoxha
Toyota Research Institute of North America
Georgios Fainekos
Georgios Fainekos
Toyota Research Institute of North America
Xinyi Yu
Xinyi Yu
PhD student, University of Southern California
George Pappas
George Pappas
UPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvania
Ziyan An
Ziyan An
Vanderbilt University
Meiyi Ma
Meiyi Ma
Assistant Professor in Computer Science, Vanderbilt University