333 citations · 359 across the 16 of their papers we have counts for
17 papers
A Unified Perspective on Conformal Prediction and Wasserstein Distributionally Robust Optimization for Uncertainty Quantification
Kehan Long, Yiqi Zhao, Pol Mestres +3
Uncertainty quantification from finite data is central to machine learning, optimization, and automation systems, where decisions must remain reliable under limited samples and tes…
Safety-aware Model Predictive Path Integral Control with Signal Temporal Logic
Yiqi Zhao, Taekyung Kim, Hideki Okamoto +4
Safety-aware motion planning remains a challenge in robotics, especially when missions are time-critical and are under complex specifications. In this paper, we propose safety-awar…
Logic-VLA: A Temporal Logic Conditioned Vision-Language-Action Model
Celina Shiyu Wang, Yiqi Zhao, Junjie Ye +2
Vision-language-action (VLA) models can follow natural-language (NL) task instructions, but such instructions may not precisely specify safety-critical or spatiotemporal requiremen…
Duet: Dual-Robot Understanding via Efficient Teaching
Yiqi Zhao, Ruohai Ge, Celina Shiyu Wang +10
Dual-robot collaboration enables tasks that exceed the reach and payload of a single robot, such as collaboratively transporting objects across environments and executing coordinat…
Compact self-matched gyrators using edge magnetoplasmons
Aldo Tarascio, Yiqi Zhao, Rafael S. Eggli +5
Edge magnetoplasmons provide a natural platform for chiral electrodynamics, where broken time-reversal symmetry enforces unidirectional propagation. When probed at microwave freque…
STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
Yiqi Zhao, Xinyi Yu, Bardh Hoxha +3
Multi-agent systems (MASs) consisting of a number of autonomous agents that communicate, coordinate, and jointly sense the environment to achieve complex missions can be found in a…
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
Yiqi Zhao, Emily Zhu, Bardh Hoxha +3
Cyber-physical systems (CPS) designed in simulators, often consisting of multiple interacting agents (e.g. in multi-agent formations), behave differently in the real-world. We want…
Programmable on-chip nonlinear photonics
Ryotatsu Yanagimoto, Benjamin A. Ash, Mandar M. Sohoni +7
Nonlinear photonics uses coherent interactions between optical waves to engineer functionality that is not possible with purely linear optics. Traditionally, the function of a nonl…
Formal Verification and Control with Conformal Prediction
Lars Lindemann, Yiqi Zhao, Xinyi Yu +2
We present recent advances in formal verification and control for autonomous systems with practical safety guarantees enabled by conformal prediction (CP), a statistical tool for u…
Conformal Predictive Programming for Chance Constrained Optimization
Yiqi Zhao, Xinyi Yu, Matteo Sesia +2
We propose conformal predictive programming (CPP), a framework to solve chance constrained optimization problems, i.e., optimization problems with constraints that are functions of…
Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
Xinyi Yu, Yiqi Zhao, Xiang Yin +1
The control of dynamical systems under temporal logic specifications among uncontrollable dynamic agents is challenging due to the agents' a-priori unknown behavior. Existing works…
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
Yiqi Zhao, Bardh Hoxha, Georgios Fainekos +2
Cyber-physical systems (CPS) designed in simulators behave differently in the real-world. Once they are deployed in the real-world, we would hence like to predict system failures d…
EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability
Yiqi Zhao, Ziyan An, Meiyi Ma +1
Boolean Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) are widely used in automated verification, but there is a lack of interactive tools designed for educational p…
Fairguard: Harness Logic-based Fairness Rules in Smart Cities
Yiqi Zhao, Ziyan An, Xuqing Gao +2
Smart cities operate on computational predictive frameworks that collect, aggregate, and utilize data from large-scale sensor networks. However, these frameworks are prone to multi…
Joint Design for Electric Fleet Operator an Charging Service Provider: Understanding the Non-Cooperative Nature
Yiqi Zhao, Teng Zeng, Zaid Allybokus +2
This work proposes a new modeling framework for jointly optimizing the charging network design and the logistic mobility planning for an electric vehicle fleet. Existing literature…
A Survey of Forex and Stock Price Prediction Using Deep Learning
Zexin Hu, Yiqi Zhao, Matloob Khushi
The prediction of stock and foreign exchange (Forex) had always been a hot and profitable area of study. Deep learning application had proven to yields better accuracy and return i…
Wavelet Denoised-ResNet CNN and LightGBM Method to Predict Forex Rate of Change
Yiqi Zhao, Matloob Khushi
Foreign Exchange (Forex) is the largest financial market in the world. The daily trading volume of the Forex market is much higher than that of stock and futures markets. Therefore…