Disha Kamale

Lehigh University, University of Lincoln

Papers

Total Citations

H-Index

About

Disha Kamale is a robotics researcher whose work bridges formal methods, autonomous systems, and human-robot interaction. Her primary research areas include automata-based planning, shared control tele-manipulation, and verified reactive control for autonomous driving. Kamale’s most cited work, “Automata-based Optimal Planning with Relaxed Specifications” (22 citations), introduces a novel framework that uses weighted finite state edit systems to represent user relaxation preferences, enabling robots to plan effectively under flexible task constraints—a significant contribution to making robotic planning more adaptable to real-world scenarios. In “Haptic-guided shared control grasping” (12 citations), she developed a system that provides force cues to operators during tele-manipulation, ensuring collision-free autonomous post-grasp movements, demonstrating her impact on improving remote robotic control. Her recent work on “Cautious Planning with Incremental Symbolic Perception” (6 citations) advances provably correct control synthesis for autonomous driving, combining abstract motion models with incremental perception knowledge. Kamale also explores natural language interfaces for robot programming, integrating grammar-based frameworks with autonomous grasping. Her research consistently emphasizes safety, adaptability, and human-centric design, making her a rising figure in formal verification and robotic autonomy.