Veritas: Structuring and verifying LLM knowledge for logically consistent behavior tree generation in LLM-based agents.
Hao Tang|Feng Zhang|Kejia Wan|Songyi Lu|Xi Zhang|Yiping Yao|Xinhai Xu
| Anthology ID: | DBLP:journals/ipm/TangZWLZYX26 |
|---|---|
| Year: | 2026 |
| Venue: | Information Processing and Management |
| Pages: | 104830 |
| URL: | https://doi.org/10.1016/J.IPM.2026.104830 |
| DOI: | https://doi.org/10.1016/J.IPM.2026.104830 |
| DBLP: | journals/ipm/TangZWLZYX26 |
| BibTeX: |
@article{tang-2026-veritas,
author = {Hao Tang and
Feng Zhang and
Kejia Wan and
Songyi Lu and
Xi Zhang and
Yiping Yao and
Xinhai Xu},
title = {{Veritas: Structuring and verifying LLM knowledge for logically consistent behavior tree generation in LLM-based agents}},
journal = {Information Processing and Management},
volume = {63},
number = {7},
pages = {104830},
year = {2026},
url = {https://doi.org/10.1016/J.IPM.2026.104830},
doi = {https://doi.org/10.1016/J.IPM.2026.104830}
}