Verification of a Predictive Method for Obstacle Detection and Safe Operation of Autonomous Vehicles | IEEE Conference Publication | IEEE Xplore