@inproceedings{xiao-etal-2026-acies,
    title = "{ACIES}: A Self-Evolving Agentic Contract-Based Framework for Cyber-Physical System Control Synthesis",
    author = "Xiao, Yifeng  and
      Ni, Zhiyu  and
      Song, Dinghong  and
      Zhou, Mi  and
      Nuzzo, Pierluigi",
    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.36/",
    pages = "541--550",
    ISBN = "979-8-89176-485-9"
}