PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Yaghoubi, Shakiba"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Gray-box Adversarial Testing for Control Systems with Machine Learning Component.

, und . CoRR, (2018)

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.

Shakiba Ravazadeh-Tekie University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time., und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 103-108. Elsevier, (2018)Gray-box adversarial testing for control systems with machine learning components., und . HSCC, Seite 179-184. ACM, (2019)Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach., und . ACM Trans. Embedded Comput. Syst., 18 (5s): 107:1-107:20 (2019)Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic optimization with Adaptive Restart., , , und . CASE, Seite 991-997. IEEE, (2019)ARCH-COMP 2019 Category Report: Falsification., , , , , , , , und . ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 129-140. EasyChair, (2019)Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions., , , , und . CDC, Seite 5213-5219. IEEE, (2021)ARCH-COMP18 Category Report: Results on the Falsification Benchmarks., , , , , , , , und . ARCH@ADHS, Volume 54 von EPiC Series in Computing, Seite 104-109. EasyChair, (2018)Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic., , , , , , und . MEMOCODE, Seite 6:1-6:11. ACM, (2019)Local Descent For Temporal Logic Falsification of Cyber-Physical Systems (Extended Technical Report)., und . CoRR, (2018)Gray-box Adversarial Testing for Control Systems with Machine Learning Component., und . CoRR, (2018)