Login / Signup
Haowei Liang
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Refinement Process
Hardware Designs
Main Contribution
Programming Language
Top Venues
COMPSAC
CoRR
</>
Publications
</>
Wei Xi
,
Yongxin Zhang
,
Changnan Xiao
,
Xuefeng Huang
,
Shihong Deng
,
Haowei Liang
,
Jie Chen
,
Peng Sun
Mastering Strategy Card Game (Legends of Code and Magic) via End-to-End Policy and Optimistic Smooth Fictitious Play.
CoRR
(2023)
Haowei Liang
,
Chunyan Hou
,
Jinsong Wang
,
Chen Chen
An Extention of Lazy Abstraction and Refinement for Program Verification.
COMPSAC
(2022)
Haowei Liang
,
Chunyan Hou
,
Jinsong Wang
,
Chen Chen
Software Safety Verification Framework based on Predicate Abstraction.
COMPSAC
(2021)