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
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
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
Co-author 6
Co-author 7
Changyuan Zhao
PhD student, Nanyang Technological University
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up