Shahar Sarid

Cornell University, Ben-Gurion University of the Negev

Papers

Total Citations

H-Index

About

Shahar Sarid is a researcher whose work sits at the intersection of robotics, formal methods, and multi-agent systems, with a focus on enabling robots to operate intelligently in unknown environments. His most influential contribution, "Guaranteeing High-Level Behaviors while Exploring Partially Known Maps" (2012, 25 citations), introduces a novel framework for automatically synthesizing hybrid controllers that ensure robots adhere to user-defined high-level behaviors—such as safety or sequencing—even as they explore and adapt to partially known maps. This work bridges the gap between task specification and real-world execution, offering a formal guarantee of correctness in dynamic settings. Sarid also made early contributions to multi-robot navigation with the MRBUG algorithm (2007, 10 citations), which provides a competitive online solution for teams of robots navigating unknown planar environments to reach a known target, optimizing physical motion time. His MRSAM algorithm (2006, 4 citations) further extends this to scenarios where the target’s location is unknown, achieving quadratically competitive performance. Sarid’s research is notable for its rigorous theoretical grounding and practical relevance, offering tools that are valuable for students and engineers working on autonomous systems, swarm robotics, and formal verification in robotics.