Yiqi Zhao

30 papers B 2C 1Journal 24Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Signal temporal logic control synthesis among uncontrollable dynamic agents with conformal prediction.
Autom.
Xinyi Yu, Yiqi Zhao, Xiang Yin, Lars Lindemann
2025 J jnl
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications.
CoRR
Yiqi Zhao, Emily Zhu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2025 J jnl
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications.
ACM Trans. Cyber Phys. Syst.
Yiqi Zhao, Emily Zhu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2025 J jnl
Formal Logic-Guided Harnessing Heterogeneous Fairness Rules in Smart Cities.
ACM Trans. Cyber Phys. Syst.
Ziyan An, Yiqi Zhao, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma
2025 J jnl
Performance Enhancement Pathways for Electric Vehicle Manufacturing Companies Driven by Digital Transformation - A Configuration Analysis Based on the TOE Framework.
Syst.
Yiqi Zhao, Qingfeng Meng, Zhen Li
2025 J jnl
STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies.
CoRR
Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2025 J jnl
STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies.
ACM Trans. Embed. Comput. Syst.
Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy Deshmukh, Lars Lindemann
2024 J jnl
Conformal Predictive Programming for Chance Constrained Optimization.
CoRR
Yiqi Zhao, Xinyi Yu, Jyotirmoy V. Deshmukh, Lars Lindemann
2024 J jnl
Formal Verification and Control with Conformal Prediction.
CoRR
Lars Lindemann, Yiqi Zhao, Xinyi Yu, George J. Pappas, Jyotirmoy V. Deshmukh
2024 — conf
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift.
ICCPS
Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2024 C conf
Safety Assurance for Autonomous Systems with Multiple Sensor Modalities.
MEMOCODE
Anand Balakrishnan, Rohit Bernard, Shreeram Narayanan, Vidisha Kudalkar, Yiqi Zhao, Parinitha Nagaraja, Georgi A. Markov, Christof J. Budnik, Helmut Degen, Lars Lindemann, Jyotirmoy V. Deshmukh
2023 J jnl
EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability.
CoRR
Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor T. Johnson
2023 — conf
Fairguard: Harness Logic-based Fairness Rules in Smart Cities.
IoTDI
Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma
2023 J jnl
Fairguard: Harness Logic-based Fairness Rules in Smart Cities.
CoRR
Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma
2023 J jnl
HSPM: A Better Model to Effectively Preventing Open-Source Projects from Dying.
Comput. Syst. Sci. Eng.
Zhifang Liao, Fangying Fu, Yiqi Zhao, Sui Tan, Zhiwu Yu, Yan Zhang
2023 J jnl
Joint Design for Electric Fleet Operator and Charging Service Provider: Understanding the Non-Cooperative Nature.
IEEE Trans. Intell. Transp. Syst.
Yiqi Zhao, Teng Zeng, Zaid Allybokus, Ye Guo, Scott J. Moura
2023 J jnl
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift.
CoRR
Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2023 J jnl
Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction.
CoRR
Xinyi Yu, Yiqi Zhao, Xiang Yin, Lars Lindemann
2022 J jnl
Analysis of Rheological Factors of Soft Rock Tunnel Based on Constitutive Model of Rock Parameters Attenuation with Equivalent Effect.
Symmetry
Zelin Zhou, Yiqi Zhao, Heng Zhang, Shougen Chen, Liang Chen, Lu Wang
2022 J jnl
BAFL: A Blockchain-Based Asynchronous Federated Learning Framework.
IEEE Trans. Computers
Lei Feng, Yiqi Zhao, Shaoyong Guo, Xuesong Qiu, Wenjing Li, Peng Yu
2021 B conf
CMF Net: Detecting Objects in Infrared Traffic Image with Combination of Multiscale Features.
GLOBECOM
Zhifang Liao, Yiqi Zhao, Xuechun Huang, Jinsong Wu
2021 J jnl
The Measurement of the Software Ecosystem's Productivity with GitHub.
Comput. Syst. Sci. Eng.
Zhifang Liao, Yiqi Zhao, Shengzong Liu, Yan Zhang, Limin Liu, Jun Long
2020 B conf
A Spectrum Allocation Method Based On Load Balancing For Heterogeneous Networks Of Smart Grid.
IWCMC
Yilong Chen, Wenjing Li, Yanru Wang, Wenjie Ma, Hui Liu, Jie Zhang, Diya Ran, Yiqi Zhao
2020 J jnl
Auxiliary diagnosis of heterogeneous data of Parkinson's disease based on improved convolution neural network.
Multim. Tools Appl.
Dai Yin, Yiqi Zhao, Yang Wang, Wenpu Zhao, Xiaoming Hu
2020 J jnl
Deployment of the Electric Vehicle Charging Station Considering Existing Competitors.
IEEE Trans. Smart Grid
Yiqi Zhao, Ye Guo, Qinglai Guo, Hongcai Zhang, Hongbin Sun
2020 J jnl
How to Construct a Power Knowledge Graph with Dispatching Data?
Sci. Program.
Shixiong Fan, Xingwei Liu, Ying Chen, Zhifang Liao, Yiqi Zhao, Huimin Luo, Haiwei Fan
2020 J jnl
Impact of altruistic motivation perception on corporate hypocrisy: A study based on fuzzy set qualitative comparative analysis.
J. Intell. Fuzzy Syst.
Yiqi Zhao, Yuanjian Qin, Xianfeng Zhao, Leilei Shi
2020 — conf
Wavelet Denoised-ResNet CNN and LightGBM Method to Predict Forex Rate of Change.
ICDM (Workshops)
Yiqi Zhao, Matloob Khushi
2019 J jnl
The Research of Multi-Modality Parkinson's Disease Image Based on Cross-Layer Convolutional Neural Network.
J. Medical Imaging Health Informatics
Yin Dai, Zuitian Tao, Yang Wang, Yiqi Zhao, Jiaxin Hou
2018 J jnl
Relationship Between Entrepreneurial Motivation and Crowdfunding Success Based on Qualitative Analysis-Based on Kickstarer Website Data.
Wirel. Pers. Commun.
Yiqi Zhao, Yuanjian Qin, Xianfeng Zhao, Leilei Shi