Scholar
Mahmoud Salamati
Google Scholar ID: 6naQF2IAAAAJ
Max Planck Institute for Software Systems
Cyber-physical systems
Machine learning
Formal methods
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
206
H-index
8
i10-index
8
Publications
20
Co-authors
30
list available
Publications
3 items
Learning Metastable Dynamics
2026
Cited
0
Formal Analysis of Metastable Failures in Software Systems
2025
Cited
0
Regret-Free Reinforcement Learning for LTL Specifications
arXiv.org · 2024
Cited
1
Co-authors
12 total
Sadegh Soudjani
Professor and Chair in Cyber-Physical Systems | Max Planck Institute | University of Birmingham
Rupak Majumdar
MPI for Software Systems
Joel Ouaknine
Director, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Toghrul Karimov
Max Planck Institute for Software Systems
James Worrell
Professor of Computer Science, Oxford University
Milad Kazemi
Department of Informatics, King's College London
Abraham P. Vinod
Principal Research Scientist, Mitsubishi Electric Research Laboratories
Sofie Haesaert
Electrical Engineering Department, TU Eindhoven
