Mohammed Al-Nuaimi

According to our database, Mohammed Al-Nuaimi authored at least 3 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles.

Mohammed Al-Nuaimi, Sapto Wibowo, Hongyang Qu, Jonathan M. Aitken, Sandor M. Veres

J. Sens. Actuator Networks, 2021

2018

A stochastically verifiable decision making framework for autonomous ground vehicles.

Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres

Proceedings of the IEEE International Conference on Intelligence and Safety for Robotics, 2018

Computational Framework for Verifiable Decisions of Self-Driving Vehicles.

Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres

Proceedings of the IEEE Conference on Control Technology and Applications, 2018