TY - RPRT TI - Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems AU - Srajan Goyal AU - Alberto Griggio AU - Jacob Kimblad AU - Stefano Tonetta PY - 2023 DO - 10.4204/eptcs.395.8 UR - https://arxiv.org/abs/2311.09784 ID - 2311.09784 ER -