Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Investigating academic conference publications from provincial administrative regions in the mainland of China., , , and . Learn. Publ., 35 (2): 92-104 (2022)Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training., , , , , and . VMCAI (2), volume 14500 of Lecture Notes in Computer Science, page 73-97. Springer, (2024)Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems., , , , and . CoRR, (2024)Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time., , , , and . CoRR, (2019)Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems., , , , and . CAV (2), volume 14682 of Lecture Notes in Computer Science, page 401-426. Springer, (2024)Intelligent Turning Tool Monitoring with Neural Network Adaptive Learning., , , , and . Complex., (2019)Application of Association Rules in Telecommunication Network Fraud Cases., , , , , , and . ICCSIE, page 1-7. ACM, (2022)Time-of-arrival-based localization algorithm in mixed line-of-sight/non-line-of-sight environments., , , , and . IJDSN, (2020)Inductance Characteristics of Flux-Switching Permanent Magnet Machine Based on General Air-Gap Filed Modulation Theory., , , , and . IEEE Trans. Ind. Electron., 69 (12): 12270-12280 (2022)Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales., , , and . AAAI, page 19992-20000. AAAI Press, (2024)