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 |
Speaker
East China Normal University, China
| Tue, 16:20 | Formal modeling and verification of behavior trees using BIP framework |