Shakiba Yaghoubi

According to our database, Shakiba Yaghoubi authored at least 22 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards learning-based planning: The nuPlan benchmark for real-world autonomous driving.

Napat Karnchanachari, Dimitris Geromichalos, Kok Seang Tan, Nanxiang Li, Christopher Eriksen, Shakiba Yaghoubi, Noushin Mehdipour, Gianmarco Bernasconi, Whye Kit Fong, Yiluan Guo, Holger Caesar

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

2021

Risk-Bounded Control Using Stochastic Barrier Functions.

Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha

IEEE Control. Syst. Lett., 2021

Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions.

Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions.

Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

ARCH-COMP 2021 Category Report: Falsification with Validation of Results.

Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances.

Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

ARCH-COMP 2020 Category Report: Falsification.

Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach.

Shakiba Yaghoubi, Georgios Fainekos

ACM Trans. Embed. Comput. Syst., 2019

Falsification of cyber-physical systems through multi-fidelity stochastic optimization.

Alireza Inanlouganji, Shakiba Yaghoubi, Georgios Fainekos, Giulia Pedrielli

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019

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

Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina J. Karam, Georgios Fainekos

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

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

Shakiba Yaghoubi, Georgios Fainekos

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

ARCH-COMP 2019 Category Report: Falsification.

Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

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

Logan Mathesen, Shakiba Yaghoubi, Giulia Pedrielli, Georgios Fainekos

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018

Gray-box Adversarial Testing for Control Systems with Machine Learning Component.

Shakiba Yaghoubi, Georgios Fainekos

CoRR, 2018

Local Descent For Temporal Logic Falsification of Cyber-Physical Systems (Extended Technical Report).

Shakiba Yaghoubi, Georgios Fainekos

CoRR, 2018

Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time.

Shakiba Yaghoubi, Georgios Fainekos

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.

Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Local Descent for Temporal Logic Falsification of Cyber-Physical Systems.

Shakiba Yaghoubi, Georgios Fainekos

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks.

Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

Functional gradient descent optimization for automatic test case generation for vehicle controllers.

Cumhur Erkan Tuncali, Shakiba Yaghoubi, Theodore P. Pavlic, Georgios Fainekos

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Vacuity aware falsification for MTL request-response specifications.

Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems.

Shakiba Yaghoubi, Georgios Fainekos

Proceedings of the 2017 American Control Conference, 2017