Dapeng Zhi

1. Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems
   2024/04/02 by Dapeng Zhi, Peixin Wang, Zhi, Dapeng +7 · 4 citations
   Engineering · #Radiation Effects in Electronics #Fault Detection and Control Systems #Smart Grid Security and Resilience
2. Robustness Verification of Deep Reinforcement Learning Based Control Systems using Reward Martingales
   2023/12/15 by Dapeng Zhi, Peixin Wang, Zhi, Dapeng +5 · 1 citation
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Smart Grid Security and Resilience #Software Reliability and Analysis Research