- [ 2020-11-02 ] 2020中国-东盟论坛 | 第八讲 借助学习、抽象和强化概率性验证复杂系统
- [ 2020-10-27 ] 2020中国-东盟论坛 | 第七讲 新加坡的能源政策和碳排放现状
- [ 2020-10-22 ] 2020中国-东盟论坛 | 第六讲 Towards Optimal Concolic Testing
- [ 2020-10-22 ] 2020中国-东盟论坛 | 第五讲 Heritage Conservation in Water Village
- [ 2020-10-15 ] 2020中国-东盟论坛 | 第四讲 Automated Smart Contracts Vulnerability Detection and Mitigation
- [ 2020-10-15 ] 2020中国-东盟论坛 | 第三讲 AI for and Against CPS
- [ 2020-10-15 ] 2020中国-东盟论坛 | 第二讲 Neural Network Fairness: Testing and Verification
- [ 2020-10-15 ] 2020中国-东盟论坛 | 第一讲 Neural Network Fairness: Testing and Verification