TY - RPRT TI - Challenges of Virtual Validation and Verification for Automotive Functions AU - Beatriz Cabrero-Daniel AU - Mazen Mohamad PY - 2025 UR - https://arxiv.org/abs/2508.14747 ID - 2508.14747 ER -