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 | 70 | 2019 |
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 | 52 | 2019 |
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 | 47 | 2020 |
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 | 47 | 2020 |
ARCH-COMP 2019 Category Report: Falsification. G Ernst, P Arcaini, A Donze, G Fainekos, L Mathesen, G Pedrielli, ... ARCH@ CPSIoTWeek, 129-140, 2019 | 46 | 2019 |
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 | 40 | 2019 |
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 | 34 | 2019 |
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 | 28 | 2021 |
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 | 27 | 2020 |
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 | 23 | 2021 |
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 | 23 | 2018 |
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 | 20 | 2017 |
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 | 19 | 2017 |
Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems S Yaghoubi, G Fainekos 2017 American Control Conference (ACC), 529-534, 2017 | 17 | 2017 |
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 | 16 | 2018 |
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 | 12 | 2021 |
ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks. A Dokhanchi, S Yaghoubi, B Hoxha, G Fainekos ARCH@ CPSWeek, 170-174, 2017 | 12 | 2017 |
Local descent for temporal logic falsification of cyber-physical systems S Yaghoubi, G Fainekos Cyber Physical Systems. Design, Modeling, and Evaluation: 7th International …, 2019 | 8 | 2019 |
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 | 5 | 2015 |
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 | 2 | 2024 |