Chaofeng Yu

According to our database, Chaofeng Yu authored at least 4 papers in 2023.

Collaborative distances:

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

2023

A proof system for unified temporal logic.

Nan Zhang, Chaofeng Yu, Zhenhua Duan, Cong Tian

Theor. Comput. Sci., March, 2023

Wavelet-Based Time-Reassigned Synchroextracting Transform With Application to Fault Diagnosis of Flexible Thin-Wall Bearing.

Yanjiang Yu, Xuezhi Zhao, Chaofeng Yu

IEEE Trans. Instrum. Meas., 2023

Verifying Chips Design at RTL Level.

Wu Wang, Nan Zhang, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu

Proceedings of the Theoretical Aspects of Software Engineering, 2023

An Approach to Agent Path Planning Under Temporal Logic Constraints.

Chaofeng Yu, Nan Zhang, Zhenhua Duan, Cong Tian

Proceedings of the Computing and Combinatorics - 29th International Conference, 2023