Liu, Wanwei

1. On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions
   2021/02/10 by Yufeng Zhang, Zhang, Yufeng, Wanwei Liu +7 · 4 citations
   Computer Science · Mathematics · Physics and Astronomy · #Advanced Statistical Methods and Models #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Information Theory (cs.IT) #Statistical Mechanics and Entropy
2. Safety Verification for Neural Networks Based on Set-boundary Analysis
   2022/10/09 by Zhen Liang, Liang, Zhen, Dejin Ren +9 · 2 citations
   Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #68Q60 #68T07 #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #D.2.4 #FOS: Computer and information sciences #Fault Detection and Control Systems #I.2.0 #Machine Learning (cs.LG) #S100 Proteins and Annexins #Software Engineering (cs.SE)
3. Reach-avoid Verification Based on Convex Optimization
   2022/08/17 by Xue Bai, Xue, Bai, Naijun Zhan +7 · 2 citations
   Computer Science · Engineering · #Advanced Control Systems Optimization #Extremum Seeking Control Systems #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
4. A Simple Probabilistic Extension of Modal Mu-calculus
   2015/04/29 by Wanwei Liu, Liu, Wanwei, Lei Song +5 · 1 citation
   Computer Science · #D.2.4 #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
5. Repairing Deep Neural Networks Based on Behavior Imitation
   2023/05/05 by Zhen Liang, Taoran Wu, Liang, Zhen +11 · 1 citation
   Computer Science · #Adversarial Robustness in Machine Learning #Advanced Neural Network Applications #Machine Learning and Data Classification