E-LIB Suche - Ergebnisse für: Salamati, Mahmoud

1

Data-driven abstraction-based control synthesis:

Kazemi, Milad ; Majumdar, Rupak ; Salamati, Mahmoud..
Nonlinear Analysis: Hybrid Systems. 52 (2024) - p. 101467 , 2024

2

Neural Abstraction-Based Controller Synthesis and Deploymen:

Majumdar, Rupak ; Salamati, Mahmoud ; Soudjani, Sadegh
ACM Transactions on Embedded Computing Systems. 22 (2023) 5s - p. 1-25 , 2023

Link: https://doi.org/10.1145/..

3

Symbolic reach-avoid control of multi-agent systems:

, In: Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems,

Majumdar, Rupak ; Mallik, Kaushik ; Salamati, Mahmoud.. - p. 209-220 , 2021

Link: https://dl.acm.org/doi/1..

4

A Lyapunov Approach for Time-Bounded Reachability of CTMCs ..:

Salamati, Mahmoud ; Soudjani, Sadegh ; Majumdar, Rupak
ACM Transactions on Modeling and Performance Evaluation of Computing Systems. 5 (2020) 1 - p. 1-29 , 2020

Link: https://doi.org/10.1145/..

5

A Lyapunov Approach for Time-Bounded Reachability of CTMCs ..:

Salamati, Mahmoud ; Soudjani, Sadegh ; Majumdar, Rupak
ACM Transactions on Modeling and Performance Evaluation of Computing Systems (TOMPECS). 5 (2020) 1 - p. 1-29 , 2020

Link: https://dl.acm.org/doi/1..

6

Memory-Efficient Mixed-Precision Implementations for Robust..:

Salamati, Mahmoud ; Salvia, Rocco ; Darulova, Eva..
ACM Transactions on Embedded Computing Systems (TECS). 18 (2019) 5s - p. 1-19 , 2019

Link: https://dl.acm.org/doi/1..

7

Memory-Efficient Mixed-Precision Implementations for Robust..:

Salamati, Mahmoud ; Salvia, Rocco ; Darulova, Eva..
ACM Transactions on Embedded Computing Systems. 18 (2019) 5s - p. 1-19 , 2019

Link: https://doi.org/10.1145/..

8

Approximate Time Bounded Reachability for CTMCs and CTMDPs:..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Salamati, Mahmoud ; Soudjani, Sadegh ; Majumdar, Rupak - p. 389-406 , 2018

Link: https://doi.org/10.1007/..

9

Experimental identification and verification for a comprehe..:

, In: 2018 IEEE/IAS 54th Industrial and Commercial Power Systems Technical Conference (I&CPS),

Salamati, Seyed Ali ; Salamati, Seyed Mahmoud ; Salmasi, Farzad Rajaei - p. None , 2018

Link: https://doi.org/10.1109/..

10

Neural Abstraction-Based Controller Synthesis and Deploymen:

Majumdar, Rupak ; Salamati, Mahmoud ; Soudjani, Sadegh
http://arxiv.org/abs/2307.03783. , 2023

Link: http://arxiv.org/abs/230..

11

The Pseudo-Reachability Problem for Diagonalisable Linear D..:

D'Costa, Julian ; Karimov, Toghrul ; Majumdar, Rupak..
doi:10.4230/LIPIcs.MFCS.2022.40. , 2022

Link: https://doi.org/10.4230/..

12

Data-Driven Abstraction-Based Control Synthesis:

Kazemi, Milad ; Majumdar, Rupak ; Salamati, Mahmoud..
http://arxiv.org/abs/2206.08069. , 2022

Link: http://arxiv.org/abs/220..

13

The Pseudo-Reachability Problem for Diagonalisable Linear D..:

D'Costa, Julian ; Karimov, Toghrul ; Majumdar, Rupak...
http://arxiv.org/abs/2204.12253. , 2022

Link: http://arxiv.org/abs/220..

14

The Pseudo-Skolem Problem is Decidable:

D'Costa, Julian ; Karimov, Toghrul ; Majumdar, Rupak...
doi:10.4230/LIPIcs.MFCS.2021.34. , 2021

Link: https://doi.org/10.4230/..

15

On Decidability of Time-bounded Reachability in CTMDPs:

Majumdar, Rupak ; Salamati, Mahmoud ; Soudjani, Sadegh
http://arxiv.org/abs/2006.05498. , 2020

Link: http://arxiv.org/abs/200..