Mahmoud Salamati

22 papers A* 2A 1B 3Journal 12Unranked 3
YearRankTypeTitle / Venue / Authors
2025 A conf
Analyzing Metastable Failures.
HotOS
Rebecca Isaacs, Peter Alvaro, Rupak Majumdar, Kiran Kumar, Muniswamy Reddy, Mahmoud Salamati, Sadegh Soudjani
2025 J jnl
Formal Analysis of Metastable Failures in Software Systems.
CoRR
Peter Alvaro, Rebecca Isaacs, Rupak Majumdar, Kiran-Kumar Muniswamy-Reddy, Mahmoud Salamati, Sadegh Soudjani
2025 B conf
Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces.
SMC
Arabinda Ghosh, Mahmoud Salamati, Sadegh Soudjani
2025 A* conf
Regret-Free Reinforcement Learning for Temporal Logic Specifications.
ICML
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
2024 — —
Formal Controller Synthesis for Dynamical Systems: Decidability & Scalability.
Mahmoud Salamati
2024 J jnl
Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces.
CoRR
Arabinda Ghosh, Mahmoud Salamati, Sadegh Soudjani
2024 J jnl
Regret-Free Reinforcement Learning for LTL Specifications.
CoRR
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
2023 J jnl
Neural Abstraction-Based Controller Synthesis and Deployment.
CoRR
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
2023 J jnl
Neural Abstraction-Based Controller Synthesis and Deployment.
ACM Trans. Embed. Comput. Syst.
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
2022 J jnl
Data-Driven Abstraction-Based Control Synthesis.
CoRR
Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding
2022 B conf
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems.
MFCS
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, James Worrell
2022 J jnl
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems.
CoRR
Julian D'Costa, Toghrul Karimov, Joël Ouaknine, Mahmoud Salamati, James Worrell
2021 — conf
Symbolic reach-avoid control of multi-agent systems.
ICCPS
Rupak Majumdar, Kaushik Mallik, Mahmoud Salamati, Sadegh Soudjani, Mehrdad Zareian
2021 B conf
The Pseudo-Skolem Problem is Decidable.
MFCS
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell
2020 J jnl
A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs.
ACM Trans. Model. Perform. Evaluation Comput. Syst.
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
2020 A* conf
On Decidability of Time-Bounded Reachability in CTMDPs.
ICALP
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
2020 J jnl
On Decidability of Time-bounded Reachability in CTMDPs.
CoRR
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
2019 — conf
ARCH-COMP19 Category Report: Stochastic Modelling.
ARCH@CPSIoTWeek
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
2019 J jnl
Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs.
CoRR
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
2019 J jnl
Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control.
ACM Trans. Embed. Comput. Syst.
Mahmoud Salamati, Rocco Salvia, Eva Darulova, Sadegh Soudjani, Rupak Majumdar
2019 J jnl
Perception-in-the-Loop Adversarial Examples.
CoRR
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
2018 — conf
Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach.
QEST
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar