Khaled Ben Lamine

Papers

Total Citations

H-Index

About

Khaled Ben Lamine is a pioneering researcher in the intersection of formal verification and autonomous robotics, with a primary focus on behavior-based robot control systems. His most influential work, "History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots" (2002, 32 citations), introduced a novel monitoring framework that uses temporal fuzzy logic to detect failures in distributed robot control architectures. This contribution was critical because behavior-based systems, while effective in real-world environments, are prone to subtle failures arising from local decision-making and decentralized control. Ben Lamine’s approach enables real-time detection of such failures, significantly enhancing robot reliability and safety. His related work on model checking for robot action reasoning further solidified his reputation, demonstrating how formal methods can be applied to ensure correct robot behavior in unpredictable environments. Though his citation counts are modest, the conceptual depth and practical relevance of his research have made it a foundational reference for scholars working on robot monitoring, fault detection, and formal verification in robotics. Ben Lamine’s work continues to influence modern autonomous systems that require robust, verifiable control in dynamic settings.