薛白 男 中国科学院软件研究所 博导 研究员
电子邮件: xuebai@ios.ac.cn
办公电话:+86-10-62661624
通信地址: 北京市海淀区中关村南四街四号中科院软件所5号楼215
邮政编码: 100190
英文主页: https://lcs.ios.ac.cn/~xuebai/
研究领域
1. 混成系统形式验证
2. AI形式验证
教育背景
工作经历
1. 2021/09-至今, 中国科学院软件研究所,计算机科学国家重点实验室,研究员
2. 2017/11-2021/08, 中国科学院软件研究所,计算机科学国家重点实验室,副研究员
3. 2015/11-2017/10,德国奥登堡大学(Carl von Ossietzky Universität Oldenburg),博士后
4. 2014/05-2015/09,新加坡南洋理工大学(Nanyang Technological University, Singapore),博士后
荣誉
1. 中科院****择优支持,2020
2. 中科院软件所杰青(2023年结题评估优秀),2018
代表性论文
(1) Bai Xue*. A New Framework for Bounding Reachability Probabilities of Continuous-time Stochastic Systems. Arxiv, 2023.
(2) Bai Xue*. Safe Exit Controllers Synthesis for Continuous-time Stochastic Systems. Arxiv, 2023.
(3) Yiqing Yu, Taoran Wu, Bican Xia, Ji Wang and Bai Xue*. Safe Probabilistic Invariance Verification for Stochastic Discrete-time Dynamical
Systems. In Proceedings of the 62nd Conference on Decision and Control (CDC 2023), 2023.
(4) Bai Xue*, Naijun Zhan and Martin Fränzle. Reach-Avoid Analysis for Polynomial Stochastic Differential Equations. IEEE Transactions on
Automatic Control (IEEE TAC), 2023.
(5) Bai Xue*, Naijun Zhan, Martin Fränzle, Ji Wang and Wanwei Liu. Reach-avoid Verification Based on Convex Optimization. IEEE
Transactions on Automatic Control (IEEE TAC), 2023.
(6) Bai Xue*, Renjue Li, Naijun Zhan and Martin Fränzle. Reach-avoid Analysis for Stochastic Discrete-time Systems. In Proceedings of
the 2021 American Control Conference (ACC 2021), 2021.
(7) Bai Xue* and Martin Fränzle and Naijun Zhan. Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties.
IEEE Transactions on Automatic Control (IEEE TAC), 2020.
(8) Bai Xue*, Miaomiao Zhang*, Arvind Easwaran and Qin Li. PAC Model Checking of Black-Box Continuous-Time Dynamical Systems. IEEE
Transactions on Computer-Aided Design of Integrated Circuits and Systems(IEEE TCAD), 2020.
(9) Bai Xue* and Arvind Easwaran and Nam-Joon Cho and Martin Fränzle. Reach-Avoid Verification for Nonlinear Systems Based on Boundary
Analysis. IEEE Transactions on Automatic Control (IEEE TAC), 2017.
(10) Bai Xue* and Zhikun She and Arvind Easwaran. Under-Approximating Backward Reachable Sets by Polytopes. In Proceedings of the 28th
International Conference on Computer Aided Verification (CAV 2016), 2016.
科研项目
(1) 任务驱动的安全强化学习 (中国科学院软件研究所基础研究项目), 主持, 2023.12-2028.11
(2) 开放环境下的可信智能算法 (中国科学院稳定支持基础研究领域青年团队计划), 参与, 2022.08-2027.07
(3) 中国科学院率先行动****, 主持, 2018-01--2023-12
(4) 时滞(混成)系统安全性验证 (国家自然科学基金面上项目), 主持, 2019-01--2022-12
(5) 面向机器人任务驱动的混成系统形式验证 (2021年度CCF-华为创新研究计划:形式化方法), 主持, 2021-05--2022-05
(6) 类人任务规划、推理及其验证系统的研究和应用 (国家自然科学基金重点项目), 课题负责人, 2019-01--2023-12
(7) Safety Assurance for Machine Learning in CPS, 课题负责人, 2020-07--2023-06
(8) Trust to Train and Train to Trust: Agent Training Programs for Safety-Critical Environments, 参与, 2021-04--2025-05
(9) ***************************形式验证理论和技术,课题负责人,2021-08—2022-08
指导学生
现指导学生
任德金 博士研究生 081200-计算机科学与技术
薛一凌 博士研究生 081200-计算机科学与技术
吴陶然 硕士研究生 081200-计算机科学与技术
吴晨雨 硕士研究生 085405-软件工程
栗镛涵 硕士研究生 085405-软件工程
潘竟铎 硕士研究生 085405-软件工程
李 炜 硕士研究生 085405-软件工程
刘 涵 本科生 081200-计算机科学与技术
已指导学生
赵常源 硕士研究生 081200-计算机科学与技术
李仞珏 硕士研究生 081200-计算机科学与技术