Ali Salamati

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 9

Top Topics

Confidence Intervals

Stochastic Systems

Top Venues

IEEE Control. Syst. Lett.

Publications

Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-driven verification and synthesis of stochastic systems via barrier certificates. Autom. 159 (2024)
Ali Salamati, Majid Zamani
Safety Verification of Stochastic Systems: A Repetitive Scenario Approach. IEEE Control. Syst. Lett. 7 (2023)
Ali Salamati, Majid Zamani
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach. L4DC (2022)
Navid Noroozi, Ali Salamati, Majid Zamani
Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach. IEEE Control. Syst. Lett. 6 (2022)
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-driven Safety Verification of Stochastic Systems via Barrier Certificates. CoRR (2021)
Ali Salamati, Sadegh Soudjani, Majid Zamani
Data-driven verification of stochastic linear systems with signal temporal logic constraints. Autom. 131 (2021)
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. ADHS (2021)
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-driven verification and synthesis of stochastic systems through barrier certificates. CoRR (2021)
Ali Salamati, Sadegh Soudjani, Majid Zamani
Data-Driven Verification under Signal Temporal Logic Constraints. CoRR (2020)