Ren, Dejin

1. Safety Verification for Neural Networks Based on Set-boundary Analysis
   2022/10/09 by Zhen Liang, Liang, Zhen, Dejin Ren +9 · 1 citation
   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)
2. Model Predictive Control with Reach-avoid Analysis
   2023/05/15 by Dejin Ren, Wanli Lu, Ren, Dejin +7 · 1 citation
   Engineering · Biochemistry, Genetics and Molecular Biology · #Advanced Control Systems Optimization #Microbial Metabolic Engineering and Bioproduction #Fault Detection and Control Systems