Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach