Mayssam Mohammadi
Papers
1
Total Citations
2
H-Index
1
About
Mayssam Mohammadi is a researcher whose work lies at the intersection of robotics, verification, and multi-agent systems. Her most cited paper, "Verification of Visibility-Based Properties on Multiple Moving Robots" (2017), addresses the critical challenge of ensuring safety and correctness in autonomous robot teams through formal verification methods. This work contributes to the growing field of robot swarm coordination, where maintaining visibility constraints is essential for tasks like surveillance, search-and-rescue, and environmental monitoring. While her citation count is modest, the research holds significant theoretical weight, offering foundational insights into how to mathematically guarantee that groups of moving robots maintain line-of-sight or avoid occlusions. Mohammadi’s approach bridges formal methods and robotics, providing tools to verify complex spatiotemporal properties that are often overlooked in practical implementations. Her work is particularly relevant for students and researchers exploring how to build trust in autonomous systems through rigorous, provable correctness. By focusing on visibility-based properties, she highlights a nuanced but vital aspect of multi-robot coordination, paving the way for safer and more reliable robotic deployments in dynamic, real-world environments.
Research Focus
Key Achievements
Top Papers
- 1Verification of Visibility-Based Properties on Multiple Moving Robots2 citations · 2017