Baobin Dai

According to our database, Baobin Dai authored at least 1 paper in 2023.

Collaborative distances:

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

2023

A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective.

Honghao Gao, Baobin Dai, Huaikou Miao, Xiaoxian Yang, Ramón J. Durán Barroso, Walayat Hussain

ACM Trans. Multim. Comput. Commun. Appl., January, 2023