Chaofeng Yu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2023–2023
Best venue rank
National
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | COCOON | An Approach to Agent Path Planning Under Temporal Logic Constraints. | Chaofeng Yu, Nan Zhang, Zhenhua Duan, Cong Tian |
| 2023 | TASE | Verifying Chips Design at RTL Level. | Wu Wang, Nan Zhang, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu |