Mahmoud Khaled
Technische Universität München
H-index: 8
Europe-Germany
Top articles of Mahmoud Khaled
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
ARCH-COMP20 Category Report: Stochastic Models. | Alessandro Abate Henk Blom Nathalie Cauchi Joanna Delicaris Arnd Hartmanns | 2020/9/25 | |
AMYTISS: Parallelized automated controller synthesis for large-scale stochastic systems | Abolfazl Lavaei Mahmoud Khaled Sadegh Soudjani Majid Zamani | 2020/7/14 | |
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems | Abolfazl Lavaei Mahmoud Khaled Sadegh Soudjani Majid Zamani | 2020/4/22 | |
Output-feedback symbolic control | arXiv preprint arXiv:2011.14848 | Mahmoud Khaled Kuize Zhang Majid Zamani | 2020/11 |
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems | Alex Devonport Mahmoud Khaled Murat Arcak Majid Zamani | 2020 | |
Cloud-ready acceleration of formal method techniques for cyber–physical systems | IEEE Design & Test | Mahmoud Khaled Majid Zamani | 2020/10/26 |