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

Enforcing robust control guarantees within neural network policies., , , und . CoRR, (2020)Robust topology identification and control of LTI networks., und . GlobalSIP, Seite 918-922. IEEE, (2014)Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes., und . L4DC, Volume 211 von Proceedings of Machine Learning Research, Seite 407-419. PMLR, (2023)A Chebyshev-Accelerated Primal-Dual Method for Distributed Optimization., , , und . CDC, Seite 1775-1781. IEEE, (2018)Compositional Curvature Bounds for Deep Neural Networks., , und . ICML, OpenReview.net, (2024)Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming., , und . CoRR, (2019)On Centralized and Distributed Mirror Descent: Convergence Analysis Using Quadratic Constraints., , und . IEEE Trans. Autom. Control., 68 (5): 3139-3146 (Mai 2023)One-Shot Reachability Analysis of Neural Network Dynamical Systems., , und . CoRR, (2022)One-Shot Reachability Analysis of Neural Network Dynamical Systems., , und . ICRA, Seite 10546-10552. IEEE, (2023)Stability analysis of complementarity systems with neural network controllers., , , und . HSCC, Seite 19:1-19:10. ACM, (2021)