Ali Salamati

Orcid: 0000-0003-0581-396X

According to our database1, Ali Salamati authored at least 8 papers between 2020 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Data-driven verification and synthesis of stochastic systems via barrier certificates.
Autom., January, 2024

2023
Safety Verification of Stochastic Systems: A Repetitive Scenario Approach.
IEEE Control. Syst. Lett., 2023

2022
Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach.
IEEE Control. Syst. Lett., 2022

Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach.
Proceedings of the Learning for Dynamics and Control Conference, 2022

2021
Data-driven verification and synthesis of stochastic systems through barrier certificates.
CoRR, 2021

Data-driven verification of stochastic linear systems with signal temporal logic constraints.
Autom., 2021

Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020
Data-Driven Verification under Signal Temporal Logic Constraints.
CoRR, 2020


  Loading...