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 (Inf. Process. Manag., 2026)