Max Robotics — Global Service Robot Directory + US Certification

About

Roozbeh Izadi‐Zamanabadi is a leading researcher in multi-robot systems, formal verification, and autonomous mobile robotics. His most influential work introduces a timed automata approach for multi-robot motion planning, enabling rigorous modeling, analysis, and verification of coordinated vehicle behaviors in constrained environments—a foundational contribution that has garnered 40 citations. He further advanced the field by developing a framework that translates temporal logic specifications into executable multi-robot motion plans, bridging the gap between high-level task requirements and low-level control. In mobile robotics, Izadi‐Zamanabadi has made significant strides in sensor fusion and model verification for outdoor robots, presenting detailed models of actuator, wheel, and kinematic dynamics for a four-wheel steered vehicle. His experimental work on fault detection and accommodation for agricultural mobile robots demonstrates a practical commitment to robust, real-world autonomy. With a career spanning theoretical foundations to applied experimentation, Izadi‐Zamanabadi’s research continues to shape how teams of robots reason about motion, safety, and task completion in complex, dynamic environments.