Scholar
Bai Xue
Google Scholar ID: N3KuaXwAAAAJ
Full Professor, State Key Laboratory of Computer Science,Institute of Software, CAS
Formal Methods
Control Theory
AI Safety
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
968
H-index
20
i10-index
29
Publications
20
Co-authors
13
list available
Publications
1 items
Stochastic Minimum-Cost Reach-Avoid Reinforcement Learning
2026
Cited
0
Co-authors
7 total
Naijun Zhan
School of Computer Science, Peking University
Martin Fränzle
Professor of Computer Science, University of Oldenburg
Zhikun She
School of Mathematics and Systems Science, Beihang University
Arvind Easwaran
Nanyang Technological University (NTU)
Taoran Wu
Institute of Software, Chinese Academy of Sciences
Changyuan Zhao
PhD student, Nanyang Technological University
Sriram Sankaranarayanan
Professor of Computer Science, University of Colorado Boulder
