Verifiable Goal Recognition for Autonomous Driving with Occlusions | IEEE Conference Publication | IEEE Xplore