Bai Xue
Scholar

Bai Xue

Google Scholar ID: N3KuaXwAAAAJ
Full Professor, State Key Laboratory of Computer Science,Institute of Software, CAS
Formal MethodsControl TheoryAI Safety
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
968
 
H-index
20
 
i10-index
29
 
Publications
20
 
Co-authors
13
list available
Contact
No contact links provided.
Publications
1 items
Stochastic Minimum-Cost Reach-Avoid Reinforcement Learning
2026
Cited
0
Resume (English only)
Co-authors
13 total
Naijun Zhan
Naijun Zhan
School of Computer Science, Peking University
Martin Fränzle
Martin Fränzle
Professor of Computer Science, University of Oldenburg
Zhikun She
Zhikun She
School of Mathematics and Systems Science, Beihang University
Arvind Easwaran
Arvind Easwaran
Nanyang Technological University (NTU)
Taoran Wu
Taoran Wu
Institute of Software, Chinese Academy of Sciences
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Changyuan Zhao
Changyuan Zhao
PhD student, Nanyang Technological University