Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Mahmoud Salamati
Map detail
Mahmoud Salamati6 visible / 6 total nodes / 5 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMahmoud SalamatiAMahmoud SalamatiResearcherA Lyapunov Approach for Time Bounded Reachability of CTMCs and CTMDPsWA Lyapunov Approach for...preprint / 2020Perception-in-the-Loop Adversarial ExamplesWPerception-in-the-Loop ...preprint / 2019On Decidability of Time-bounded Reachability in CTMDPsWOn Decidability of Time...preprint / 2020Data-Driven Abstraction-Based Control SynthesisWData-Driven Abstraction...preprint / 2022The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical SystemsWThe Pseudo-Reachability...preprint / 2022
Person5 links

Mahmoud Salamati

Researcher