TY - RPRT TI - Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems AU - Sven Kirchner AU - Alois C. Knoll PY - 2025 UR - https://arxiv.org/abs/2506.04038 ID - 2506.04038 ER -