Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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