Xu Lu
Scholar

Xu Lu

Google Scholar ID: V5jcooYAAAAJ
School of Computer Science and Technology, Xidian University
formal methodsAI planningprogram verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
68
 
H-index
4
 
i10-index
2
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
1 items
ArthroCut: Autonomous Policy Learning for Robotic Bone Resection in Knee Arthroplasty
2026
Cited
0
Resume (English only)
Background
  • Doctor of Engineering, mainly engaged in research and application work in program verification based on formal methods and artificial intelligence planning.
Miscellany
  • Other contact information: Email xlu@xidian.edu.cn, Communication/Office Address: Room A308, Cybersecurity Building, Xidian University, Nan Campus, Zip Code 710126
Co-authors
0 total
Co-authors: 0 (list not available)