@inproceedings{zinovyeva-etal-2026-generation,
    title = "Generation and Verification: Human-Agent Collaboration for Safety-Critical Automotive Software Engineering",
    author = "Zinovyeva, Elizaveta  and
      Taleb, Aiham  and
      Kozodoi, Nikita  and
      Schleicher, Daniel  and
      Namazi, Amir Mahdi  and
      Kraus, Martin  and
      Kent, Levent  and
      Jensen, Brian",
    editor = "Kamalloo, Ehsan  and
      Gontier, Nicolas  and
      Rozanov, Nikolai  and
      Hashemzadeh, Maryam  and
      Arora, Akhil",
    booktitle = "Proceedings of the Second Workshop for {RE}search on Agent Language Models ({REALM} 2026)",
    month = oct,
    year = "2026",
    address = "Budapest, Hungary",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2026.realm-1.38/",
    pages = "557--570",
    ISBN = "979-8-89176-485-9"
}