Sign in
Yicong Xu
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 7
Top Topics
Human Interactions
Comparative Study
Particle Swarm Optimization
Lightweight
Top Venues
SSP
BMC Medical Informatics Decis. Mak.
VMCAI (1)
ICRA
</>
Publications
</>
Shengping Xiao
,
Yongkang Li
,
Xinyue Huang
,
Yicong Xu
,
Jianwen Li
,
Geguang Pu
,
Ofer Strichman
,
Moshe Y. Vardi
Model-Guided Synthesis for LTL over Finite Traces.
VMCAI (1)
(2024)
Yibo Dong
,
Xiaoyu Zhang
,
Yicong Xu
,
Chang Cai
,
Yu Chen
,
Weikai Miao
,
Jianwen Li
,
Geguang Pu
LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems.
ESEC/SIGSOFT FSE
(2023)
Tong Niu
,
Yicong Xu
,
Shengping Xiao
,
Lili Xiao
,
Yanhong Huang
,
Jianwen Li
LTLf Satisfiability Checking via Formula Progression (S).
SEKE
(2023)
Yicong Xu
,
Yu Chen
,
Yanzhao Hou
,
Kai-Kit Wong
,
Qimei Cui
,
Xiaofeng Tao
Energy Efficiency Maximization Under Delay-Outage Probability Constraints Using Fluid Antenna Systems.
SSP
(2023)
Yicong Xu
,
Jingya Zhou
,
Yi Wang
The novel and powerful ICD-11 classification system for neoplasm coding: a comparative study with the ICD-O.
BMC Medical Informatics Decis. Mak.
22 (1) (2022)
Jayam Patel
,
Yicong Xu
,
Carlo Pinciroli
Mixed-Granularity Human-Swarm Interaction.
ICRA
(2019)
Jayam Patel
,
Yicong Xu
,
Carlo Pinciroli
Mixed-Granularity Human-Swarm Interaction.
CoRR
(2019)