• Risk-bounded Control using Stochastic Barrier Functions (PDF)
    Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil Prokhorov, Bardh Hoxha
    IEEE Control Systems Letters, 2021

  • Training neural network controllers using control barrier functions in the presence of disturbances (PDF)
    Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan
    IEEE International Conference on Intelligent Transportation Systems (ITSC), 2020

  • Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach (PDF)
    Shakiba Yaghoubi, Georgios Fainekos
    ACM Transactions on Embedded Computing Systems (TECS), 2019

  • Encoding and Monitoring Responsibility Sensitive Safety Rules for Automated Vehicles in Signal Temporal Logic (PDF)
    Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina Karam, Georgios Fainekos

  • Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic Optimization with Adaptive Restart (PDF)
    Logan Mathesen, Shakiba Yaghoubi, Giulia Pedrielli, and Georgios Fainekos
    Conference on Automation Science and Engineering (CASE), 2019

  • Gray-box Adversarial Testing for Control Systems with Machine Learning Components (PDF)
    Shakiba Yaghoubi, Georgios Fainekos
    Hybrid Systems: Computation and Control (HSSC), 2019

  • Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time (PDF)
    Shakiba Yaghoubi, Georgios Fainekos
    IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2018

  • Local Descent for Temporal Logic Falsification of Cyber-Physical Systems (PDF, Extended tech report)
    Shakiba Yaghoubi, Georgios Fainekos
    Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy), 2017

  • Functional Gradient Descent Optimization for Automatic Test Case Generation for Vehicle Controllers (PDF)
    Cumhur Erkan Tuncali, Shakiba Yaghoubi, Theodore P. Pavlic and Georgios Fainekos
    Conference on Automation Science and Engineering (CASE), 2017

  • Vacuity Aware Falsification for MTL Request-Response Specifications (PDF)
    Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha and Georgios Fainekos
    Conference on Automation Science and Engineering (CASE), 2017

  • Hybrid Approximate Gradient and Stochastic Descent for Falsification of Nonlinear Systems (PDF)
    Shakiba Yaghoubi and Georgios Fainekos
    American Control Conference (ACC), 2017

  • Arch-comp17 category report: Preliminary results on the falsification benchmarks (PDF)
    A. Dokhanchi, S. Yaghoubi, B. Hoxha, and G. Fainekos
    ARCH17. 4th In- ternational Workshop on Applied Verication of Continuous and Hybrid Systems

  • Adaptive extremum seeking control of a nonlinear system using backstepping technique (PDF)
    Shakiba Yaghoubi, Maryam Dehghani, and Mohammad Khayatian,
    23rd Iranian Conference on Electrical Engineering (ICEE), 2015