Yipei Yan

According to our database, Yipei Yan authored at least 1 paper in 2025.

Collaborative distances:

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

2025

Automated Generation of Benchmarks for Falsification of STL Specifications.

Yipei Yan, Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Jianjun Zhao

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., October, 2025