Statistics
Publications
4
Citations
134
H-Index
4
Active since
2016
Affiliations
Xia Zeng is an author at Southwest University specializing in barrier certificates, computer science, and computing.
Publications per year
2016–2023
4
4
Synthesizing barrier certificates using neural networks
Hengjun Zhao, Xia Zeng, Taolue Chen et al. · 2020 · 62 citations
Learning safe neural network controllers with barrier certificates
Hengjun Zhao, Xia Zeng, Taolue Chen et al. · Formal Aspects of Computing · 2021 · 32 citations · Full text
Darboux-type barrier certificates for safety verification of nonlinear hybrid systems
Xia Zeng, Lin Wang, Zhengfeng Yang et al. · 2016 · 27 citations
1–4 of 4