Shunlei Xia

According to our database, Shunlei Xia authored at least 1 paper in 2026.

Collaborative distances:

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

2026

Formal modeling and correctness verification of an AI drilling system based on Communicating Sequential Processes.

Hao Yang, Shunlei Xia, Yucheng Xue, Xukun Yang, Fang Yang, Yang Yuan, Wanling Xie

Array, 2026