Topic: Automata Learning

seminar @ Tencent Meeting, Tsinghua University, Beijing

Presenters: Kaiwen Shen .

Date:

Abstract:

分享一些利用模型学习对网络协议形式化分析的方法

Paper     Slides