帕维特拉·普拉巴卡;帕拉萨拉·斯里达尔·达吉拉拉;萨扬·密特拉;马赫什·维斯瓦纳坦 矩形混合系统的基于混合自动机的CEGAR。 (英语) Zbl 1341.68109号 形式方法系统。设计。 46,第2期,105-134(2015).MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}等人,《表格方法系统》。设计。46,No.2,105--134(2015;Zbl 1341.68109) 全文: 内政部
拉杰夫·阿鲁尔;Thao Dang先生;弗兰乔·伊万契奇 基于谓词抽象的混合系统可达性分析。 (英语) Zbl 1044.93517号 Tomlin,Claire J.(编辑)等人,《混合系统:计算和控制》。2002年3月25日至27日在美国加利福尼亚州斯坦福举行的2002年HSCC第五届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43321-X)。莱克特。注释计算。科学。2289, 35-48 (2002).MSC公司:93立方 93个B03 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Lect。注释计算。科学。2289、35-48(2002年;Zbl 1044.93517) 全文: 链接