Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems. - Shakiba Yaghoubi; Georgios Fainekos (ACC, 2017)

Vacuity aware falsification for MTL request-response specifications. - Adel Dokhanchi; Shakiba Yaghoubi; Bardh Hoxha; Georgios Fainekos (CASE, 2017)

Functional gradient descent optimization for automatic test case generation for vehicle controllers. - Cumhur Erkan Tuncali; Shakiba Yaghoubi; Theodore P. Pavlic; Georgios Fainekos (CASE, 2017)

ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks. - Adel Dokhanchi; Shakiba Yaghoubi; Bardh Hoxha; Georgios Fainekos (ARCH@CPSWeek, 2017)

Local Descent for Temporal Logic Falsification of Cyber-Physical Systems. - Shakiba Yaghoubi; Georgios Fainekos (CyPhy, 2017)

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 (ARCH@ADHS, 2018)

Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time. - Shakiba Yaghoubi; Georgios Fainekos (ADHS, 2018)

Local Descent For Temporal Logic Falsification of Cyber-Physical Systems (Extended Technical Report). - Shakiba Yaghoubi; Georgios Fainekos (CoRR, 2018)

Gray-box Adversarial Testing for Control Systems with Machine Learning Component. - Shakiba Yaghoubi; Georgios Fainekos (CoRR, 2018)

Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic optimization with Adaptive Restart. - Logan Mathesen; Shakiba Yaghoubi; Giulia Pedrielli; Georgios Fainekos (CASE, 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 (ARCH@CPSIoTWeek, 2019)

Gray-box adversarial testing for control systems with machine learning components. - Shakiba Yaghoubi; Georgios Fainekos (HSCC, 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 (MEMOCODE, 2019)

Falsification of cyber-physical systems through multi-fidelity stochastic optimization. - Alireza Inanlouganji; Shakiba Yaghoubi; Georgios Fainekos; Giulia Pedrielli (SNR, 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)

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; et al. (ARCH, 2020)

Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances. - Shakiba Yaghoubi; Georgios Fainekos; Sriram Sankaranarayanan 001 (ITSC, 2020)

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 001; Tanmay Khandait; Logan Mathesen; Claudio Menghi; et al. (ARCH@ADHS, 2021)

Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions. - Shakiba Yaghoubi; Georgios Fainekos; Tomoya Yamaguchi 001; Danil V. Prokhorov; Bardh Hoxha (CDC, 2021)

Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. - Keyvan Majd; Shakiba Yaghoubi; Tomoya Yamaguchi 001; Bardh Hoxha; Danil V. Prokhorov; Georgios Fainekos (IROS, 2021)

Risk-Bounded Control Using Stochastic Barrier Functions. - Shakiba Yaghoubi; Keyvan Majd; Georgios Fainekos; Tomoya Yamaguchi 001; Danil V. Prokhorov; Bardh Hoxha (IEEE Control. Syst. Lett., 2021)

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 (ICRA, 2024)