Mohammed Al-Nuaimi

Papers

Total Citations

H-Index

About

Mohammed Al-Nuaimi is a researcher focused on the safety and reliability of autonomous driving systems, with a particular emphasis on formal verification and decision-making. His work addresses a critical challenge in self-driving technology: ensuring that an autonomous vehicle’s decisions are not only correct but verifiably safe across all possible traffic scenarios. Al-Nuaimi’s most cited paper, "Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles" (2021, 21 citations), introduces a novel approach that combines simulation and formal verification to account for the full complexity of real-world driving. He also developed a computational framework (2018, 4 citations) that checks the logic of autonomous agents for instability and inconsistency, using Natural Language Programming to make the verification process more transparent. Additionally, his stochastically verifiable decision-making framework (2018, 4 citations) applies probabilistic methods to assess the reliability of an AV’s rational agent decisions. Though his citation counts are modest, Al-Nuaimi’s contributions are notable for their focus on rigorous, verifiable safety—a cornerstone for public trust and regulatory approval of autonomous vehicles. His work is particularly relevant for researchers and engineers seeking to bridge the gap between theoretical verification and practical deployment in self-driving technology.