Follow
Shakiba Yaghoubi
Title
Cited by
Cited by
Year
Gray-box adversarial testing for control systems with machine learning components
S Yaghoubi, G Fainekos
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
802019
Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic
M Hekmatnejad, S Yaghoubi, A Dokhanchi, HB Amor, A Shrivastava, ...
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods …, 2019
682019
Arch-comp 2020 category report: Falsification
G Ernst, P Arcaini, I Bennani, A Donze, G Fainekos, G Frehse, L Mathesen, ...
EPiC Series in Computing, 2020
502020
Training neural network controllers using control barrier functions in the presence of disturbances
S Yaghoubi, G Fainekos, S Sankaranarayanan
2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020
502020
ARCH-COMP 2019 Category Report: Falsification.
G Ernst, P Arcaini, A Donze, G Fainekos, L Mathesen, G Pedrielli, ...
ARCH@ CPSIoTWeek, 129-140, 2019
492019
Worst-case satisfaction of stl specifications using feedforward neural network controllers: a lagrange multipliers approach
S Yaghoubi, G Fainekos
ACM Transactions on Embedded Computing Systems, 1-20, 2019
422019
Falsification of cyber-physical systems with robustness uncertainty quantification through stochastic optimization with adaptive restart
L Mathesen, S Yaghoubi, G Pedrielli, G Fainekos
2019 IEEE 15th International Conference on Automation Science and …, 2019
382019
ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
G Ernst, P Arcaini, I Bennani, A Chandratre, A Donzé, G Fainekos, ...
ARCH@ ADHS, 133-152, 2021
352021
Risk-bounded control using stochastic barrier functions
S Yaghoubi, K Majd, G Fainekos, T Yamaguchi, D Prokhorov, B Hoxha
IEEE Control Systems Letters 5 (5), 1831-1836, 2020
312020
Safe navigation in human occupied environments using sampling and control barrier functions
K Majd, S Yaghoubi, T Yamaguchi, B Hoxha, D Prokhorov, G Fainekos
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2021
302021
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.
A Dokhanchi, S Yaghoubi, B Hoxha, G Fainekos, G Ernst, Z Zhang, ...
ARCH@ ADHS, 104-109, 2018
262018
Vacuity aware falsification for MTL request-response specifications
A Dokhanchi, S Yaghoubi, B Hoxha, G Fainekos
2017 13th IEEE Conference on Automation Science and Engineering (CASE), 1332 …, 2017
212017
Functional gradient descent optimization for automatic test case generation for vehicle controllers
CE Tuncali, S Yaghoubi, TP Pavlic, G Fainekos
2017 13th IEEE Conference on Automation Science and Engineering (CASE), 1059 …, 2017
192017
Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems
S Yaghoubi, G Fainekos
2017 American Control Conference (ACC), 529-534, 2017
182017
Towards learning-based planning: The nuPlan benchmark for real-world autonomous driving
N Karnchanachari, D Geromichalos, KS Tan, N Li, C Eriksen, S Yaghoubi, ...
arXiv preprint arXiv:2403.04133, 2024
172024
Falsification of temporal logic requirements using gradient based local search in space and time
S Yaghoubi, G Fainekos
IFAC-PapersOnLine 51 (16), 103-108, 2018
162018
ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks.
A Dokhanchi, S Yaghoubi, B Hoxha, G Fainekos
ARCH@ CPSWeek, 170-174, 2017
142017
Risk-bounded control with kalman filtering and stochastic barrier functions
S Yaghoubi, G Fainekos, T Yamaguchi, D Prokhorov, B Hoxha
2021 60th IEEE Conference on Decision and Control (CDC), 5213-5219, 2021
132021
Local descent for temporal logic falsification of cyber-physical systems
S Yaghoubi, G Fainekos
Cyber Physical Systems. Design, Modeling, and Evaluation: 7th International …, 2019
82019
Adaptive extremum seeking control of a nonlinear system using backstepping technique
S Yaghoubi, M Dehghani, M Khayatian
2015 23rd Iranian Conference on Electrical Engineering, 960-965, 2015
52015
The system can't perform the operation now. Try again later.
Articles 1–20