{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T21:15:58Z","timestamp":1774300558705,"version":"3.50.1"},"publisher-location":"Stroudsburg, PA, USA","reference-count":0,"publisher":"Association for Computational Linguistics","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.18653\/v1\/2026.eacl-long.353","type":"proceedings-article","created":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T20:23:46Z","timestamp":1774297426000},"page":"7528-7546","source":"Crossref","is-referenced-by-count":0,"title":["Verification-Aware Planning for Multi-Agent Systems"],"prefix":"10.18653","author":[{"given":"Tianyang","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kushan","family":"Mitra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Estevam","family":"Hruschka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1643","event":{"name":"Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers)","location":"Rabat, Morocco","start":{"date-parts":[[2026,3]]},"end":{"date-parts":[[2026,3]]}},"container-title":["Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers)"],"original-title":[],"deposited":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T20:26:22Z","timestamp":1774297582000},"score":1,"resource":{"primary":{"URL":"https:\/\/aclanthology.org\/2026.eacl-long.353"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"references-count":0,"URL":"https:\/\/doi.org\/10.18653\/v1\/2026.eacl-long.353","relation":{},"subject":[],"published":{"date-parts":[[2026]]}}}