(1) 赵恒军; 李权忠; 曾霞; 刘志明 ; 强化学习智能控制在安全攸关CPS中的应用——以某工业油泵为例,软件学报, 2022, 33(7) 【安全强化学习，智能控制，案例研究】 • 论文：http://www.jos.org.cn/jos/article/abstract/6588 • 代码：https://gitee.com/zhaohj2016/oil-pump-control-jos (2) Hengjun Zhao; Xia Zeng; Taolue Chen; Zhiming Liu; Jim Woodcock ; Learning safe neural net work controllers with barrier certificates, Formal Aspects of Computing, 2021, 33(3): 437-455【智能控制器设计，形式化验证，CCF B】 • 论文：https://dl.acm.org/doi/10.1007/s00165-021-00544-5 • 代码：https://gitee.com/zhaohj2016/FAoC-tool (3) Hengjun Zhao; Xia Zeng; Taolue Chen; Zhiming Liu ; Synthesizing Barrier Certificates Using Neural Networks, HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control. 【控制器安全性验证的智能化、形式化方法，CCF B】 • 论文：https://dl.acm.org/doi/abs/10.1145/3365365.3382222 • 代码：https://gitee.com/zhaohj2016/HSCC20-Repeatability (4) Jingqi Wang, Jiajie Peng, Zhiming Liu*, Hengjun Zhao*: HQProtoPNet: An Evidence-Based Model for Interpretable Image Recognition. IJCNN 2023: 1-8【员工工作，图片分类神经网络的可解释性，CCF C】 • https://ieeexplore.ieee.org/document/10191863 (5) Yike Cheng, Ji-Le Jiang*, Ning Zhang, Hengjun Zhao*, Zhiming Liu: Automatic Lumbar Vertebra Landmark Localization and Segmentation for Pedicle Screw Placement. ICPR 2022: 4263-4269【员工工作，人工智能医学图像处理，脊椎外科手术自动化，CCF C】 • https://ieeexplore.ieee.org/document/9956489 |
