{"id":"https://openalex.org/W7140079545","doi":"https://doi.org/10.18653/v1/2026.eacl-long.353","title":"Verification-Aware Planning for Multi-Agent Systems","display_name":"Verification-Aware Planning for Multi-Agent Systems","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7140079545","doi":"https://doi.org/10.18653/v1/2026.eacl-long.353"},"language":null,"primary_location":{"id":"doi:10.18653/v1/2026.eacl-long.353","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.eacl-long.353","pdf_url":"https://aclanthology.org/2026.eacl-long.353.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://aclanthology.org/2026.eacl-long.353.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101567372","display_name":"Tianyang Xu","orcid":"https://orcid.org/0000-0003-2941-5771"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tianyang Xu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5130379852","display_name":"Dan Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dan Zhang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114230565","display_name":"Kushan Mitra","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kushan Mitra","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5056213327","display_name":"Estevam Hruschka","orcid":"https://orcid.org/0000-0003-1499-2808"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Estevam Hruschka","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.39225019,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"7528","last_page":"7546"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.6759999990463257,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.6759999990463257,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.03709999844431877,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.02500000037252903,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.2702000141143799},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.2660999894142151},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.2639000117778778},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.24699999392032623},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.24390000104904175}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46239998936653137},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2702000141143799},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.2660999894142151},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.2639000117778778},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.24699999392032623},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2451999932527542},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.24390000104904175},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.2402999997138977},{"id":"https://openalex.org/C180198813","wikidata":"https://www.wikidata.org/wiki/Q121182","display_name":"Information system","level":2,"score":0.23559999465942383},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.23489999771118164}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18653/v1/2026.eacl-long.353","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.eacl-long.353","pdf_url":"https://aclanthology.org/2026.eacl-long.353.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers)","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18653/v1/2026.eacl-long.353","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.eacl-long.353","pdf_url":"https://aclanthology.org/2026.eacl-long.353.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers)","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7140079545.pdf","grobid_xml":"https://content.openalex.org/works/W7140079545.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"language":[1],"model":[2],"(LLM)":[3],"agents":[4],"are":[5],"increasingly":[6],"deployed":[7],"to":[8],"tackle":[9],"complex":[10],"tasks,":[11,68],"often":[12],"necessitating":[13],"collaboration":[14,20,61],"among":[15],"multiple":[16],"specialized":[17],"agents.However,":[18],"multi-agent":[19,60,98],"introduces":[21],"new":[22],"challenges":[23],"in":[24,41,82,117],"planning,":[25],"coordination,":[26],"and":[27,72,84,104,114],"verification.Execution":[28],"failures":[29],"frequently":[30],"arise":[31],"not":[32],"from":[33,38],"flawed":[34],"reasoning":[35],"alone,":[36],"but":[37],"subtle":[39],"misalignments":[40],"task":[42],"interpretation,":[43],"output":[44],"format,":[45],"or":[46,125],"inter-agent":[47],"handoffs.To":[48],"address":[49],"these":[50],"challenges,":[51],"we":[52],"present":[53],"VERIMAP":[54,65,88],"1":[55],",":[56],"a":[57],"framework":[58],"for":[59],"with":[62],"verificationaware":[63],"planning.The":[64],"planner":[66],"decomposes":[67],"models":[69],"subtask":[70,78],"dependencies,":[71],"encodes":[73],"planner-defined":[74],"passing":[75],"criteria":[76],"as":[77],"verification":[79],"functions":[80],"(VFs)":[81],"Python":[83],"natural":[85],"language.We":[86],"evaluate":[87],"on":[89,122],"diverse":[90],"datasets,":[91],"demonstrating":[92],"that":[93],"it":[94],"outperforms":[95],"both":[96],"single-and":[97],"baselines":[99],"while":[100],"enhancing":[101],"system":[102],"robustness":[103],"interpretability.Our":[105],"analysis":[106],"highlights":[107],"how":[108],"verification-aware":[109],"planning":[110],"enables":[111],"reliable":[112],"coordination":[113],"iterative":[115],"refinement":[116],"multiagent":[118],"systems,":[119],"without":[120],"relying":[121],"external":[123],"labels":[124],"annotations.":[126]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-03-24T00:00:00"}