Efficient statistical validation with edge cases to evaluate Highly Automated Vehicles | IEEE Conference Publication | IEEE Xplore