Speaker
Yongxin Zhao
East China Normal Universtiy, China
Talks at this conference:
| Tue, 16:20 | Formal modeling and verification of behavior trees using BIP framework |
Speaker
East China Normal Universtiy, China
| Tue, 16:20 | Formal modeling and verification of behavior trees using BIP framework |