Statistics for Traffic Rule Checking and Validation