Eman Rabiah Rabiah

Papers

Total Citations

H-Index

About

Eman Rabiah’s research lies at the intersection of formal methods and autonomous robotics, with a focus on enhancing the reliability of navigation algorithms. Her most-cited work, “Formal specification, refinement, and implementation of path planning” (2016), tackles a critical challenge in robotics: ensuring that path planning algorithms—particularly the widely used A* algorithm—are not only efficient but also provably correct. By applying a step-wise refinement process, Rabiah systematically transforms abstract formal specifications into concrete, verifiable implementations, bridging the gap between theoretical correctness and practical deployment. This approach has garnered 4 citations, reflecting its niche but foundational contribution to dependable autonomous navigation. Her work is particularly notable for addressing the under-explored area of formal verification in path planning, offering a rigorous framework that can prevent costly errors in real-world robotic systems. Rabiah’s research is essential reading for students and engineers seeking to build trustworthy autonomous agents, demonstrating how formal methods can elevate algorithm reliability from an afterthought to a design principle.