Mahmoud Salamati
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | HotOS | Analyzing Metastable Failures. | Rebecca Isaacs, Peter Alvaro, Rupak Majumdar, Kiran Kumar, Muniswamy Reddy, Mahmoud Salamati, Sadegh Soudjani |
| 2025 | ICML | Regret-Free Reinforcement Learning for Temporal Logic Specifications. | Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani |
| 2025 | SMC | Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces. | Arabinda Ghosh, Mahmoud Salamati, Sadegh Soudjani |
| 2022 | MFCS | The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. | Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Jol Ouaknine, Mahmoud Salamati, James Worrell |
| 2021 | MFCS | The Pseudo-Skolem Problem is Decidable. | Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Jol Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell |
| 2020 | ICALP | On Decidability of Time-Bounded Reachability in CTMDPs. | Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani |