Software Safety Verification Framework based on Predicate Abstraction. - Haowei Liang; Chunyan Hou; Jinsong Wang; Chen Chen 012 (COMPSAC, 2021)

An Extention of Lazy Abstraction and Refinement for Program Verification. - Haowei Liang; Chunyan Hou; Jinsong Wang; Chen Chen 012 (COMPSAC, 2022)

Mastering Strategy Card Game (Legends of Code and Magic) via End-to-End Policy and Optimistic Smooth Fictitious Play. - Wei Xi; Yongxin Zhang; Changnan Xiao; Xuefeng Huang; Shihong Deng; Haowei Liang; Jie Chen; Peng Sun (CoRR, 2023)