( en | de | ru )

 

Disambiguierung von "Fazlyab, Mahyar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming.

, , und . CDC, Seite 2726-2731. IEEE, (2019)

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.

Mahyar Shirvanimoghaddam

Mahyar Mohtadi

Mahyar Shahsavari

Mojgan Mahyar

Mahyar Badiian

 

Weitere Publikationen von Autoren mit dem selben Namen

Enforcing robust control guarantees within neural network policies., , , und . CoRR, (2020)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)Robust topology identification and control of LTI networks., und . GlobalSIP, Seite 918-922. IEEE, (2014)A Chebyshev-Accelerated Primal-Dual Method for Distributed Optimization., , , und . CDC, Seite 1775-1781. IEEE, (2018)Compositional Curvature Bounds for Deep Neural Networks., , und . CoRR, (2024)Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming., , und . CoRR, (2019)One-Shot Reachability Analysis of Neural Network Dynamical Systems., , und . CoRR, (2022)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 . ICRA, Seite 10546-10552. IEEE, (2023)Stability analysis of complementarity systems with neural network controllers., , , und . HSCC, Seite 19:1-19:10. ACM, (2021)