中图分类号：E0-03 文献标志码：A DOI： 10.12305/j.issn.1001-506X.2026.03.20

Abstract：Inviewof lack of dynamic interactionand informationuncertainty modeling in traditional task chain verification，a s（试读）...