TY - JOUR T1 - Hybrid verification technique for decision-making of self-driving vehicles JO - Journal of Sensor and Actuator Networks PY - 2021/06/29 AU - Al-Nuaimi M AU - Wibowo S AU - Qu H AU - Aitken J AU - Veres S ED - DO - DOI: 10.3390/jsan10030042 PB - MDPI AG VL - 10 IS - 3 Y2 - 2025/07/20 ER -