( en | de | ru )

 

Disambiguierung von "Yaghoubi, Shakiba"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic.

, , , , , , und . MEMOCODE, Seite 6:1-6:11. ACM, (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.

Keine Personen gefunden für den Autorennamen Yaghoubi, Shakiba
Eine Person hinzufügen mit dem Namen Yaghoubi, Shakiba
 

Weitere Publikationen von Autoren mit dem selben Namen

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. Embed. Comput. Syst., 18 (5s): 107:1-107:20 (2019)Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic., , , , , , und . MEMOCODE, Seite 6:1-6:11. ACM, (2019)Falsification of cyber-physical systems through multi-fidelity stochastic optimization., , , und . SNR, Seite 22-23. ACM, (2019)Functional gradient descent optimization for automatic test case generation for vehicle controllers., , , und . CASE, Seite 1059-1064. IEEE, (2017)ARCH-COMP 2020 Category Report: Falsification., , , , , , , , , und 3 andere Autor(en). ARCH, Volume 74 von EPiC Series in Computing, Seite 140-152. EasyChair, (2020)Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach., und . ITA, Seite 1-20. IEEE, (2020)Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems., und . ACC, Seite 529-534. IEEE, (2017)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)ARCH-COMP 2021 Category Report: Falsification with Validation of Results., , , , , , , , , und 8 andere Autor(en). ARCH@ADHS, Volume 80 von EPiC Series in Computing, Seite 133-152. EasyChair, (2021)