Yicong Xu

According to our database, Yicong Xu authored at least 6 papers between 2019 and 2024.

Collaborative distances:

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

2024

Model-Guided Synthesis for LTL over Finite Traces.

Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

Energy Efficiency Maximization Under Delay-Outage Probability Constraints Using Fluid Antenna Systems.

Yicong Xu, Yu Chen, Yanzhao Hou, Kai-Kit Wong, Qimei Cui, Xiaofeng Tao

Proceedings of the IEEE Statistical Signal Processing Workshop, 2023

LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems.

Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, Geguang Pu

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

LTLf Satisfiability Checking via Formula Progression (S).

Tong Niu, Yicong Xu, Shengping Xiao, Lili Xiao, Yanhong Huang, Jianwen Li

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

2022

The novel and powerful ICD-11 classification system for neoplasm coding: a comparative study with the ICD-O.

Yicong Xu, Jingya Zhou, Yi Wang

BMC Medical Informatics Decis. Mak., 2022

2019

Mixed-Granularity Human-Swarm Interaction.

Jayam Patel, Yicong Xu, Carlo Pinciroli

Proceedings of the International Conference on Robotics and Automation, 2019