Ali Salamati

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

Collaborative distances:

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

2024

Data-driven verification and synthesis of stochastic systems via barrier certificates.

Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani

Autom., January, 2024

2023

Safety Verification of Stochastic Systems: A Repetitive Scenario Approach.

Ali Salamati, Majid Zamani

IEEE Control. Syst. Lett., 2023

2022

Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach.

Navid Noroozi, Ali Salamati, Majid Zamani

IEEE Control. Syst. Lett., 2022

Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach.

Ali Salamati, Majid Zamani

Proceedings of the Learning for Dynamics and Control Conference, 2022

2021

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

Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani

CoRR, 2021

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

Ali Salamati, Sadegh Soudjani, Majid Zamani

Autom., 2021

Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates.

Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Data-Driven Verification under Signal Temporal Logic Constraints.

Ali Salamati, Sadegh Soudjani, Majid Zamani

CoRR, 2020