A Study on Safety Verification Methods and Procedures for Self-Driving Demonstration | IEEE Conference Publication | IEEE Xplore