ICMLJul, 2017

人类参与:基于证据驱动状态合并算法的交互式被动自动机学习

TL;DR介绍了一个交互式版本的基于证据驱动的状态合并算法(EDSM)用于学习有限状态自动机的变体,该算法可通过与人直接交互更好地利用领域知识。