Chaofeng Yu

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 4

Top Topics

Verification Method

Temporally Extended

Soft Computing Methods

Top Venues

IEEE Trans. Instrum. Meas.

Theor. Comput. Sci.

Publications

Chaofeng Yu, Nan Zhang, Zhenhua Duan, Cong Tian
An Approach to Agent Path Planning Under Temporal Logic Constraints. COCOON (2) (2023)
Nan Zhang, Chaofeng Yu, Zhenhua Duan, Cong Tian
A proof system for unified temporal logic. Theor. Comput. Sci. 949 (2023)
Yanjiang Yu, Xuezhi Zhao, Chaofeng Yu
Wavelet-Based Time-Reassigned Synchroextracting Transform With Application to Fault Diagnosis of Flexible Thin-Wall Bearing. IEEE Trans. Instrum. Meas. 72 (2023)
Wu Wang, Nan Zhang, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu
Verifying Chips Design at RTL Level. TASE (2023)