Generation and Verification: Human-Agent Collaboration for Safety-Critical Automotive Software Engineering.

arXiv:2610.35982v1 Announce Type: cross Abstract: Research on coding agents mainly focuses on generation quality. Yet, safety-critical automotive software makes two additional demands. It prioritizes verification, since every change is reviewed, traced to a re