Mohammed Al-Nuaimi

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 3

Top Topics

Decision Making

Computational Framework

Traffic Accidents

Driver Assistance Systems

Top Venues

J. Sens. Actuator Networks

Publications

Mohammed Al-Nuaimi, Sapto Wibowo, Hongyang Qu, Jonathan M. Aitken, Sandor M. Veres
Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles. J. Sens. Actuator Networks 10 (3) (2021)
Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres
A stochastically verifiable decision making framework for autonomous ground vehicles. ISR (2018)
Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres
Computational Framework for Verifiable Decisions of Self-Driving Vehicles. CCTA (2018)