Shakiba Yaghoubi

Gray-box adversarial testing for control systems with machine learning components

Shakiba Yaghoubi, Georgios Fainekos · 2019 · 63 citations

Computing, Computer Science, Systems Engineering +15

Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic

Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi et al. · 2019 · 63 citations · Full text

Engineering, Automotive Engineering, Autonomous Systems +10

ARCH-COMP 2019 Category Report: Falsification

Gidon Ernst, Paolo Arcaini, Alexandre Donzé et al. · EPiC series in computing · 2019 · 29 citations · Full text

Computing, Computer Science, Systems Engineering +16

Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic optimization with Adaptive Restart

Logan Mathesen, Shakiba Yaghoubi, Giulia Pedrielli et al. · 2019 · 29 citations

Computing, Computer Science, Systems Engineering +17

ARCH-COMP 2020 Category Report: Falsification

Gidon Ernst, Paolo Arcaini, Ismail Bennani et al. · EPiC series in computing · 2020 · 27 citations · Full text

Computing, Computer Science, Systems Engineering +17