Harris Bin Khalid
Papers
1
Total Citations
2
H-Index
1
About
Harris Bin Khalid is a researcher specializing in the formal verification of autonomous robotic systems, with a particular focus on safety-critical applications. His work bridges the gap between theoretical formal methods and practical robotics, most notably demonstrated in his highly cited 2019 paper, "Formal Verification and Development of an Autonomous Firefighting Robotic Model." This seminal contribution pioneered the use of formal verification—a rigorous mathematical technique traditionally applied to software and embedded systems—to ensure the reliability of a firefighting robot operating on rough terrain. By proving the correctness of the robot's control logic before deployment, Khalid’s research directly addresses the challenge of deploying autonomous systems in unpredictable, hazardous environments where failure is not an option. With 2 citations, his work has already influenced peers exploring formal methods for robotic safety. Khalid’s achievements highlight a forward-thinking approach to engineering trustworthy AI-driven machines, making him a notable voice in the emerging field of verifiable autonomous systems.
Research Focus
Key Achievements
Top Papers
- 1