Online Verification Enabling Approval of Driving Functions—Implementation for a Planner of an Autonomous Race Vehicle