Mahmoud Salamati
Scholar

Mahmoud Salamati

Google Scholar ID: 6naQF2IAAAAJ
Max Planck Institute for Software Systems
Cyber-physical systemsMachine learningFormal methods
Google Scholar↗
Citations & Impact
All-time
Citations
206
 
H-index
8
 
i10-index
8
 
Publications
20
 
Co-authors
30
list available
Contact
No contact links provided.
Publications
2 items
Formal Analysis of Metastable Failures in Software Systems
2025
Cited
0
Regret-Free Reinforcement Learning for LTL Specifications
arXiv.org · 2024
Cited
1
Resume (English only)
Co-authors
30 total
Sadegh Soudjani
Sadegh Soudjani
Professor and Chair in Cyber-Physical Systems | Max Planck Institute | University of Birmingham
Rupak Majumdar
Rupak Majumdar
MPI for Software Systems
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Joel Ouaknine
Joel Ouaknine
Director, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Toghrul Karimov
Toghrul Karimov
Max Planck Institute for Software Systems
James Worrell
James Worrell
Professor of Computer Science, Oxford University
Co-author 8
Co-author 8