Mahmoud Salamati
Author
Alternate name Mahmoud Salamati
Institution Max Planck Institute for Software Systems
Past institutions Max Planck Institute for Software Systems, Max Planck Society, University of New Mexico, University of Tehran
ORCID: Yes
H-index: 4
I10-index:
Works count: 20
Citations count: 49
Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach
2018 · Mahmoud Salamati, Sadegh Soudjani, et al. · Lecture notes in computer science
Data-driven abstraction-based control synthesis
2024 · Milad Kazemi, Rupak Majumdar, et al. · Nonlinear Analysis Hybrid Systems
ARCH-COMP19 Category Report: Stochastic Modelling
2019 · Alessandro Abate, H.A.P. Blom, et al. · EPiC series in computing