@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/22}}}