Methods of Parameter Verification and Scenario Generation During Virtual Testing of Highly Automated and Autonomous Vehicles | IEEE Conference Publication | IEEE Xplore