| 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 | 80 | 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 | 67 | 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 | 50 | 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 | 50 | 2020 |
| ARCH-COMP 2019 Category Report: Falsification. G Ernst, P Arcaini, A Donze, G Fainekos, L Mathesen, G Pedrielli, ... ARCH@ CPSIoTWeek, 129-140, 2019 | 49 | 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 | 42 | 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 | 38 | 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 | 35 | 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 | 31 | 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 | 30 | 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 | 26 | 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 | 21 | 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 | 18 | 2017 |
| 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 | 17 | 2024 |
| 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 |
| ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks. A Dokhanchi, S Yaghoubi, B Hoxha, G Fainekos ARCH@ CPSWeek, 170-174, 2017 | 14 | 2017 |
| 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 | 13 | 2021 |
| 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 |
Georgios FainekosToyota Research Institute of North AmericaEmail verificata su toyota.com
