主动自动机学习中反例分析的抽象框架

马尔特·伊斯伯纳,伯恩哈德·斯特芬.主动自动机学习中反例分析的抽象框架.亚历山大·克拉克,金泽真本,吉中良彦,编辑,2014年9月17日至19日,第12届国际语法推理大会论文集,ICGI 2014,日本京都.第34卷,共页JMLR程序,页79-93,JMLR.org,2014. [doi]

摘要

缺少摘要。