Method and device for automatically generating agent behavior tree program based on formal verification

The invention discloses an intelligent agent behavior tree program automatic generation method and device based on formalized verification, and the method comprises the steps: inputting an initial intelligent agent behavior tree, searching a target intelligent agent behavior tree, evaluating each ca...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	CHEN ZHENBANG, YIN LIANGZE, WEN YANJUN, CHEN LIQIAN, LIU WANWEI, DONG WEI, WANG JI, LI SHANSHAN, HONG WEIJIANG, MAO XIAOGUANG
Format:	Patent
Sprache:	chi ; eng
Schlagworte:	CALCULATING COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PHYSICS
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!