Concepedia
Statistics
Publications
3
Citations
51
H-Index
Active since
2021
Affiliations
Newcastle University(Current)
Ludwig-Maximilians-Universität München
University of Colorado Boulder
Ali Salamati is an author at Newcastle University specializing in model checking, stochastic processes, and computer science.
Publications per year
2021–2023
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani et al. · IFAC-PapersOnLine · 2021 · 18 citations · Full text
Engineering, Systems Engineering, Safety Engineering +16
Data-driven verification and synthesis of stochastic systems via barrier certificates
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani et al. · Automatica · 2023 · 17 citations
Engineering, Computer Engineering, Computer Science +14
Data-driven verification of stochastic linear systems with signal temporal logic constraints
Ali Salamati, Sadegh Soudjani, Majid Zamani · Automatica · 2021 · 16 citations
Computing, Computer Engineering, Computer Science +16
1–3 of 3