Arash Khabbaz Saberi

Papers

Total Citations

H-Index

About

Arash Khabbaz Saberi is a researcher focused on the intersection of robotics and formal verification, with a particular emphasis on multi-robot systems and path planning algorithms. His most cited work, "Analysis of Path Planning Algorithms: a Formal Verification-based Approach" (2013), introduces a rigorous mathematical methodology for modeling and investigating the behavior of robotic systems. By applying formal verification—a technique traditionally used in hardware and software design—to robotics, Saberi addresses critical challenges in ensuring the reliability and safety of autonomous navigation. His contributions help expose potential design faults in path planning algorithms before deployment, a vital step for multi-robot coordination in complex environments. With over a dozen citations, this paper has influenced subsequent research in dependable robotic systems. Saberi’s work bridges theoretical computer science and practical robotics, offering engineers a systematic way to validate algorithm behavior. For students and researchers, his approach underscores the growing importance of formal methods in building trustworthy autonomous systems, making his research a foundational reference for those exploring verification-driven robotics.