Sarmen Keshishzadeh

Papers

Total Citations

H-Index

About

Sarmen Keshishzadeh is a researcher whose work sits at the intersection of robotics and formal methods, with a primary focus on the verification and modeling of multi-robot systems. His major contribution lies in pioneering a formal verification-based approach to analyze path planning algorithms—a critical step toward ensuring safety and reliability in autonomous robotic swarms. By applying rigorous mathematical techniques traditionally used in hardware and software verification, Keshishzadeh has provided a novel framework for exposing design faults in robotic behavior before deployment. His most-cited paper, "Analysis of Path Planning Algorithms: a Formal Verification-based Approach" (2013), has accumulated 12 citations, reflecting its foundational role in bridging the gap between theoretical computer science and practical robotics. This work stands out for its early recognition that as multi-robot systems grow in complexity, traditional simulation-based testing is insufficient, and formal verification offers a more robust alternative. Keshishzadeh’s research is particularly valuable for students and engineers seeking to build safer autonomous systems, demonstrating how mathematical rigor can prevent costly failures in real-world robotic applications.