帕维特拉·普拉巴卡;杜吉拉拉,帕拉萨拉·斯里达尔;萨扬·密特拉;马赫什·维斯瓦纳坦 矩形混合系统的基于混合自动机的CEGAR。 (英语) Zbl 1341.68109号 形式方法系统。设计。 46,编号2105-134(2015).MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}等人,《形式方法系统》。设计。46,No.2,105--134(2015;Zbl 1341.68109) 全文: 内政部
恩斯特·莫里茨·哈恩;阿恩·哈特曼斯;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 随机混合系统的组成建模和分析框架。 (英语) Zbl 1291.68293号 形式方法系统。设计。 43,第2期,191-232(2013).MSC公司:87年第68季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}等人,《形式方法系统》。设计。43,编号2191-232(2013;兹bl 1291.68293) 全文: 内政部