Speaker
Huadong Dai
Academy of Military Science, China
Talks at this conference:
| Tue, 16:20 | Formal modeling and verification of behavior trees using BIP framework |
Speaker
Academy of Military Science, China
| Tue, 16:20 | Formal modeling and verification of behavior trees using BIP framework |