Autor der Publikation

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.

, , , , , , , , , und . ATVA, Volume 12971 von Lecture Notes in Computer Science, Seite 364-380. Springer, (2021)

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

Sampling Policy Design for Tracking Time-varying Graph Signals with Adaptive Budget Allocation., , und . APSIPA, Seite 205-210. IEEE, (2020)A fast parallel primal-dual based compressed sensing method for 2-D near-field SAR image reconstruction., , , , und . I2MTC, Seite 1-6. IEEE, (2018)Rényi's Entropy Based Method for Analog Circuits Soft Fault Detection., , , , , und . CSE, Seite 825-830. IEEE Computer Society, (2014)Attention Erasing and Instance Sampling for Weakly Supervised Object Detection., , , , , und . IEEE Trans. Geosci. Remote. Sens., (2024)PPLS: a privacy-preserving location-sharing scheme in mobile online social networks., , , , , , und . Sci. China Inf. Sci., (2020)Rail pressure control of common rail diesel engine based on RBF neural network adaptive PID controller., , , und . EMEIT, Seite 1122-1125. IEEE, (2011)Exposing library API misuses via mutation analysis., , , , , und . ICSE, Seite 866-877. IEEE / ACM, (2019)Analog Circuits Soft Fault Diagnosis Using Rényi's Entropy., , , , , und . J. Electron. Test., 31 (2): 217-224 (2015)$SIEGE$SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-Enabled Cyber-Physical Systems., , und . IEEE Trans. Software Eng., 49 (8): 4058-4080 (August 2023)Near-field millimeter-wave imaging using a fast matrix-free sparse Bayesian learning approach., , , , und . I2MTC, Seite 1-5. IEEE, (2018)