Mohammed Al-Nuaimi, Hongyang Qu 0001, Sandor M. Veres. Computational Framework for Verifiable Decisions of Self-Driving Vehicles. In IEEE Conference on Control Technology and Applications, CCTA 2018, Copenhagen, Denmark, August 21-24, 2018. pages 638-645, IEEE, 2018. [doi]
Abstract is missing.