帕维特拉Prabhakar;帕拉萨拉·斯里达尔·达吉拉拉;萨扬·密特拉;马赫什·维斯瓦纳坦 矩形混合系统的基于混合自动机的CEGAR。 （英语） 兹比尔1341.68109 表格方法系统。设计。 46，第2期，105-134（2015）.MSC公司：65年第68季度 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公司：第68季度87 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}等人，《形式方法系统》。设计。43，第2号，191--232（2013；Zbl 1291.68293） 全文： 内政部
Hiraishi、Kunihiko;小林，小池 实状态空间上转移系统盒抽象的近似算法。 （英语） Zbl 1291.68261号 形式方法系统。设计。 42，第2期，175-192（2013）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Hiraishi}和\textit{K.Kobayashi}，《形式方法系统》。设计。42，第2号，175--192（2013；Zbl 1291.68261） 全文： 内政部
鲍尔，K。;Gentilini，R。;施耐德，K。 混合自动机上的近似可达性：伪造符合认证要求。 （英语） Zbl 1337.68151号 Halava，Vesa（编辑）等人，计算模型可达性问题第二次研讨会论文集（RP 2008），英国利物浦，2008年9月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记22347-60（2008）。MSC公司：65年第68季度 60年第68季度 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{K.Bauer}等人，《电子》。注释Theor。计算。科学。223、47-60（2008年；Zbl 1337.68151） 全文： 内政部