Simulation-Based Logical Scenario Generation and Analysis Methodology for Evaluation of Autonomous Driving Systems | IEEE Journals & Magazine | IEEE Xplore