Shakiba Yaghoubi

According to our database1, Shakiba Yaghoubi authored at least 16 papers between 2017 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Risk-Bounded Control Using Stochastic Barrier Functions.
IEEE Control. Syst. Lett., 2021

2020
Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

2019
Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach.
ACM Trans. Embed. Comput. Syst., 2019

Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic.
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.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

ARCH-COMP 2019 Category Report: Falsification.
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.
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.
CoRR, 2018

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

Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.
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.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks.
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.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Vacuity aware falsification for MTL request-response specifications.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems.
Proceedings of the 2017 American Control Conference, 2017


  Loading...