Ammar Mohammed

About

Ammar Mohammed is a leading researcher in multi-robot systems and formal verification, with a focus on modeling, specification, and model checking of autonomous agents. His most-cited work, the 2010 chapter "Multi-Robot Systems: Modeling, Specification, and Model Checking" (22 citations), introduces a pioneering framework that uses hybrid automata to formally specify and verify physical multiagent systems. This approach is particularly valuable for robots that must continuously react to dynamic physical environments while adhering to strict time constraints—a critical challenge in real-world autonomous systems. Mohammed's contributions bridge the gap between theoretical computer science and practical robotics, enabling safer and more reliable multi-robot coordination. His research has influenced fields such as swarm robotics, autonomous vehicles, and industrial automation, where formal guarantees of system behavior are essential. By combining rigorous mathematical modeling with practical implementation, Mohammed has helped advance the reliability of complex multi-agent systems, making his work a key reference for researchers and students working at the intersection of robotics, artificial intelligence, and formal methods.

Research Focus

Key Achievements

Top Papers

1. 1
   Multi-Robot Systems: Modeling, Specification, and Model Checking

   22 citations · 2010

Key Collaborators

Contact & Links