@article{article, title = {{Hybrid verification technique for decision-making of self-driving vehicles}}, publisher = {{MDPI AG}}, url = {{}}, year = {{2021}}, month = {{6}}, author = {{Al-Nuaimi M and Wibowo S and Qu H and Aitken J and Veres S}}, doi = {{10.3390/jsan10030042}}, volume = {{10}}, journal = {{Journal of Sensor and Actuator Networks}}, issue = {{3}}, note = {{Accessed on 2024/12/25}}}