PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Yaghoubi, Shakiba"

Author of the publication

copydeleteadd this publication to your clipboard
Gray-box adversarial testing for control systems with machine learning components.

, and . HSCC, page 179-184. ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Shakiba Ravazadeh-Tekie University of Stuttgart

 

Other publications of authors with the same name

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