Yiqi Zhao

According to our database, Yiqi Zhao authored at least 21 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formal Verification and Control with Conformal Prediction.

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

CoRR, 2024

Conformal Predictive Programming for Chance Constrained Optimization.

Yiqi Zhao, Xinyi Yu, Jyotirmoy V. Deshmukh, Lars Lindemann

CoRR, 2024

Safety Assurance for Autonomous Systems with Multiple Sensor Modalities.

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

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift.

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

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

2023

Joint Design for Electric Fleet Operator and Charging Service Provider: Understanding the Non-Cooperative Nature.

Yiqi Zhao, Teng Zeng, Zaid Allybokus, Ye Guo, Scott J. Moura

IEEE Trans. Intell. Transp. Syst., January, 2023

HSPM: A Better Model to Effectively Preventing Open-Source Projects from Dying.

Zhifang Liao, Fangying Fu, Yiqi Zhao, Sui Tan, Zhiwu Yu, Yan Zhang

Comput. Syst. Sci. Eng., 2023

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

Xinyi Yu, Yiqi Zhao, Xiang Yin, Lars Lindemann

CoRR, 2023

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

Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor T. Johnson

CoRR, 2023

Fairguard: Harness Logic-based Fairness Rules in Smart Cities.

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

Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation, 2023

2022

Analysis of Rheological Factors of Soft Rock Tunnel Based on Constitutive Model of Rock Parameters Attenuation with Equivalent Effect.

Zelin Zhou, Yiqi Zhao, Heng Zhang, Shougen Chen, Liang Chen, Lu Wang

Symmetry, November, 2022

BAFL: A Blockchain-Based Asynchronous Federated Learning Framework.

Lei Feng, Yiqi Zhao, Shaoyong Guo, Xuesong Qiu, Wenjing Li, Peng Yu

IEEE Trans. Computers, 2022

2021

The Measurement of the Software Ecosystem's Productivity with GitHub.

Zhifang Liao, Yiqi Zhao, Shengzong Liu, Yan Zhang, Limin Liu, Jun Long

Comput. Syst. Sci. Eng., 2021

CMF Net: Detecting Objects in Infrared Traffic Image with Combination of Multiscale Features.

Zhifang Liao, Yiqi Zhao, Xuechun Huang, Jinsong Wu

Proceedings of the IEEE Global Communications Conference, 2021

2020

Deployment of the Electric Vehicle Charging Station Considering Existing Competitors.

Yiqi Zhao, Ye Guo, Qinglai Guo, Hongcai Zhang, Hongbin Sun

IEEE Trans. Smart Grid, 2020

How to Construct a Power Knowledge Graph with Dispatching Data?

Shixiong Fan, Xingwei Liu, Ying Chen, Zhifang Liao, Yiqi Zhao, Huimin Luo, Haiwei Fan

Sci. Program., 2020

Auxiliary diagnosis of heterogeneous data of Parkinson's disease based on improved convolution neural network.

Dai Yin, Yiqi Zhao, Yang Wang, Wenpu Zhao, Xiaoming Hu

Multim. Tools Appl., 2020

Impact of altruistic motivation perception on corporate hypocrisy: A study based on fuzzy set qualitative comparative analysis.

Yiqi Zhao, Yuanjian Qin, Xianfeng Zhao, Leilei Shi

J. Intell. Fuzzy Syst., 2020

A Spectrum Allocation Method Based On Load Balancing For Heterogeneous Networks Of Smart Grid.

Yilong Chen, Wenjing Li, Yanru Wang, Wenjie Ma, Hui Liu, Jie Zhang, Diya Ran, Yiqi Zhao

Proceedings of the 16th International Wireless Communications and Mobile Computing Conference, 2020

Wavelet Denoised-ResNet CNN and LightGBM Method to Predict Forex Rate of Change.

Yiqi Zhao, Matloob Khushi

Proceedings of the 20th International Conference on Data Mining Workshops, 2020

2019

The Research of Multi-Modality Parkinson's Disease Image Based on Cross-Layer Convolutional Neural Network.

Yin Dai, Zuitian Tao, Yang Wang, Yiqi Zhao, Jiaxin Hou

J. Medical Imaging Health Informatics, 2019

2018

Relationship Between Entrepreneurial Motivation and Crowdfunding Success Based on Qualitative Analysis-Based on Kickstarer Website Data.

Yiqi Zhao, Yuanjian Qin, Xianfeng Zhao, Leilei Shi

Wirel. Pers. Commun., 2018