Mahmoud Salamati

According to our database, Mahmoud Salamati authored at least 18 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Formal Analysis of Metastable Failures in Software Systems.

Peter Alvaro, Rebecca Isaacs, Rupak Majumdar, Kiran-Kumar Muniswamy-Reddy, Mahmoud Salamati, Sadegh Soudjani

CoRR, October, 2025

Analyzing Metastable Failures.

Rebecca Isaacs, Peter Alvaro, Rupak Majumdar, Kiran Kumar, Muniswamy Reddy, Mahmoud Salamati, Sadegh Soudjani

Proceedings of the 2025 Workshop on Hot Topics in Operating Systems, 2025

2024

Formal Controller Synthesis for Dynamical Systems: Decidability & Scalability.

Mahmoud Salamati

PhD thesis, 2024

Regret-Free Reinforcement Learning for LTL Specifications.

Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani

CoRR, 2024

Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces.

Arabinda Ghosh, Mahmoud Salamati, Sadegh Soudjani

CoRR, 2024

2023

Neural Abstraction-Based Controller Synthesis and Deployment.

Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani

ACM Trans. Embed. Comput. Syst., October, 2023

2022

Data-Driven Abstraction-Based Control Synthesis.

Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding

CoRR, 2022

The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems.

Julian D'Costa, Toghrul Karimov, Joël Ouaknine, Mahmoud Salamati, James Worrell

CoRR, 2022

The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems.

Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, James Worrell

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

2021

The Pseudo-Skolem Problem is Decidable.

Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

Symbolic reach-avoid control of multi-agent systems.

Rupak Majumdar, Kaushik Mallik, Mahmoud Salamati, Sadegh Soudjani, Mehrdad Zareian

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

2020

A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs.

Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar

ACM Trans. Model. Perform. Evaluation Comput. Syst., 2020

On Decidability of Time-Bounded Reachability in CTMDPs.

Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

2019

Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control.

Mahmoud Salamati, Rocco Salvia, Eva Darulova, Sadegh Soudjani, Rupak Majumdar

ACM Trans. Embed. Comput. Syst., 2019

Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs.

Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar

CoRR, 2019

Perception-in-the-Loop Adversarial Examples.

Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar

CoRR, 2019

ARCH-COMP19 Category Report: Stochastic Modelling.

Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach.

Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018