Get started
Author

Ali Salamati

Observed names: Salamati A, Salamati, Ali
ORCID: 0000-0003-0581-396X
Observed ORCID: 0000-0003-0581-396X
OpenAlex ID: A5114042360
Data-driven verification and synthesis of stochastic systems via barrier certificates
2023 · Ali Salamati, Abolfazl Lavaei, et al. · Automatica · 21
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates
2021 · Ali Salamati, Abolfazl Lavaei, et al. · IFAC-PapersOnLine · 18
PDF
Data sharing for responsible artificial intelligence in dentistry: a narrative review of legal frameworks and privacy-preserving techniques
2025 · Janet Brinz, Negin Eslamiamirabadi, et al. · Journal of Dentistry · 16
Data-driven verification of stochastic linear systems with signal temporal logic constraints
2021 · Ali Salamati, Sadegh Soudjani, et al. · Automatica · 16
Safety Verification of Stochastic Systems: A Repetitive Scenario Approach
2022 · Ali Salamati, Majid Zamani · IEEE Control Systems Letters · 11
Data-Driven Verification under Signal Temporal Logic Constraints
2020 · Ali Salamati, Sadegh Soudjani, et al. · IFAC-PapersOnLine · 11
Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach
2021 · Navid Noroozi, Ali Salamati, et al. · IEEE Control Systems Letters · 6
Data-Driven Probabilistic Evaluation of Logic Properties with PAC-Confidence on Mealy Machines
2025 · Plambeck, Swantje, Salamati, Ali, et al. · arXiv (Cornell University)
PDF
Data-driven Safety Verification of Stochastic Systems via Barrier Certificates
2021 · Salamati, Ali, Lavaei, Abolfazl, et al. · arXiv (Cornell University)
PDF
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates
· Salamati A, Lavaei A, et al. · Newcastle University ePrints (Newcastle Univesity)
Works count: 11
Citation count: 99
H-index: 6
I10-index: 6
Year
Topic
Type