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

Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning., , , , , und . ICSE, Seite 2189-2201. ACM, (2022)Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation., , , , , , , und . Formal Aspects Comput., 33 (3): 407-435 (2021)Safety Analysis of Autonomous Driving Systems Based on Model Learning., , , , , und . CoRR, (2022)Improving Neural Network Verification through Spurious Region Guided Refinement., , , , , , , und . TACAS (1), Volume 12651 von Lecture Notes in Computer Science, Seite 389-408. Springer, (2021)ADVREPAIR: Provable Repair of Adversarial Attack., , , , , , und . CoRR, (2024)Improving Neural Network Verification through Spurious Region Guided Refinement., , , , , , , und . CoRR, (2020)Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness., , , , , , und . CoRR, (2021)Reach-avoid Analysis for Stochastic Discrete-time Systems., , , und . ACC, Seite 4879-4885. IEEE, (2021)Revisiting Transferable Adversarial Image Examples: Attack Categorization, Evaluation Guidelines, and New Insights., , , , , , , und . CoRR, (2023)PRODeep: a platform for robustness verification of deep neural networks., , , , , , , und . ESEC/SIGSOFT FSE, Seite 1630-1634. ACM, (2020)