FACS 2024

Speaker

Min Zhang

East China Normal University, China

Talks at this conference:
 Tue, 16:20 Formal modeling and verification of behavior trees using BIP framework

 Overview