An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification | IEEE Conference Publication | IEEE Xplore