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  - 2024/12/22

ER  -