Verifiable Goal Recognition for Autonomous Driving with Occlusions