TY  - RPRT
TI  - Generation and Verification: Human-Agent Collaboration for Safety-Critical Automotive Software Engineering
AU  - Elizaveta Zinovyeva
AU  - Aiham Taleb
AU  - Nikita Kozodoi
AU  - Daniel Schleicher
AU  - Amir Mahdi Namazi
AU  - Martin Kraus
AU  - Levent Kent
AU  - Brian Jensen
PY  - 2026
UR  - https://arxiv.org/abs/2610.35982
ID  - 2610.35982
ER  -