摘要 : We address the problem of inferring descriptions of system behavior using temporal logic from a finite set of positive and negative examples. In this paper, we consider two formalisms of temporal logic that describe linear time pr... 展开
作者 | Gaglione~ Jean-Raphael Neider~ Daniel Roy~ Rajarshi Topcu~ Ufuk Xu~ Zhe |
---|---|
作者单位 | |
期刊名称 | 《Innovations in Systems and Software Engineering》 |
总页数 | 16 |
语种/中图分类号 | 英语 / TP312 |
关键词 | Linear Temporal Logic Signal Temporal Logic Decision tree Specification mining Explainable AI |
馆藏号 | N2008EPST0013316 |