Mahmoud Salamati

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 15

Top Topics

Transitive Closure

Model Predictive Control

Dynamical Systems

Top Venues

ACM Trans. Embed. Comput. Syst.

ARCH@CPSIoTWeek

Publications

Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
Neural Abstraction-Based Controller Synthesis and Deployment. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
Neural Abstraction-Based Controller Synthesis and Deployment. CoRR (2023)
Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding
Data-Driven Abstraction-Based Control Synthesis. CoRR (2022)
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, James Worrell
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. MFCS (2022)
Julian D'Costa, Toghrul Karimov, Joël Ouaknine, Mahmoud Salamati, James Worrell
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. CoRR (2022)
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell
The Pseudo-Skolem Problem is Decidable. MFCS (2021)
Rupak Majumdar, Kaushik Mallik, Mahmoud Salamati, Sadegh Soudjani, Mehrdad Zareian
Symbolic reach-avoid control of multi-agent systems. ICCPS (2021)
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
On Decidability of Time-Bounded Reachability in CTMDPs. ICALP (2020)
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
On Decidability of Time-bounded Reachability in CTMDPs. CoRR (2020)
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs. ACM Trans. Model. Perform. Evaluation Comput. Syst. 5 (1) (2020)
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
Perception-in-the-Loop Adversarial Examples. CoRR (2019)
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs. CoRR (2019)
Alessandro Abate, Henk 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
ARCH-COMP19 Category Report: Stochastic Modelling. ARCH@CPSIoTWeek (2019)
Mahmoud Salamati, Rocco Salvia, Eva Darulova, Sadegh Soudjani, Rupak Majumdar
Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach. QEST (2018)