金、项羽;安、杰;詹伯华;詹乃军;张苗苗 推断切换非线性动力系统。 （英语） Zbl 1521.93036号 正式Asp。计算。 33，第3号，385-406（2021）.MSC公司：93B30型 93立方 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{X.Jin}等人，正式Asp。计算。33，编号3，385--406（2021；Zbl 1521.93036） 全文： 内政部
安、杰;陈明帅;詹伯华;詹乃军;张苗苗 学习单时钟定时自动机。 （英语） Zbl 1507.68163号 Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 444-462 (2020).MSC公司：65年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit｛J.An｝等人，Lect。注释计算。科学。12078、444--462（2020；Zbl 1507.68163） 全文： 内政部 arXiv公司