Yicong Xu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | VMCAI | 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 |
| 2023 | SEKE | LTLf Satisfiability Checking via Formula Progression (S). | Tong Niu, Yicong Xu, Shengping Xiao, Lili Xiao, Yanhong Huang, Jianwen Li |
| 2019 | ICRA | Mixed-Granularity Human-Swarm Interaction. | Jayam Patel, Yicong Xu, Carlo Pinciroli |