Tsachouridis，Vassilios A。;乔治·詹塔米迪斯;Stylianos巴萨吉安尼斯;科斯塔斯库拉马斯 Schulz矩阵反演算法的形式化分析：通用矩阵流求解器的计算机辅助验证范例。 （英文） Zbl 1458.65035号 数字。代数控制优化。 177-206年第2期第10期（2020年）.MSC公司：65层10 15A09号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛V.A.Tsachouridis｝等人，编号。代数控制优化。10，编号2，177--206（2020；Zbl 1458.65035） 全文： 内政部
杨正峰;吴敏;林，王 一种有效的不确定非线性混合系统屏障证书生成框架。 （英文） Zbl 07198064号 非线性分析。，混合系统。 36，文章ID 100837，17 p.（2020）.MSC公司：65-XX岁 93至XX PDF格式BibTeX公司 XML格式引用 \textit{Z.Yang}等，非线性分析。，混合系统。36，文章ID 100837，17 p.（2020；Zbl 07198064） 全文： 内政部
劳伦特·多恩;戈兰·弗雷斯;乔治·帕帕斯。;安德烈·普拉泽 混合动力系统的验证。 （英文） Zbl 1392.68246号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1047-1110 (2018).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}等人，in：模型检查手册。查姆：斯普林格。1047--1110（2018；Zbl 1392.68246） 全文： 内政部
张慧;吴金钊 MPSoC数据动态的形式验证和定量度量。 （英文） Zbl 1382.68145号 正式Asp。计算。 30，第2期，219-237（2018）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}和\textit{J.Wu}，正式Asp。计算。30，第2号，219--237（2018；Zbl 1382.68145） 全文： 内政部
戴丽云;甘婷;夏碧灿;詹乃军 重新审查屏障证书。 （英文） 兹比尔1357.68110 J.塞姆。计算。 80，第1部分，62-86（2017）.MSC公司：60年第68季度 68瓦30 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{L.Dai}等人，J.Symb。计算。80，第1部分，62--86（2017；Zbl 1357.68110） 全文： 内政部 arXiv公司
伊娃·M·纳瓦罗·洛佩斯。;卡特、丽贝卡 混合动力系统中的死性和如何反驳活性。 （英文） Zbl 1345.68215号 西奥。计算。科学。 642, 1-23 (2016).MSC公司：65年第68季度 60年第68季度 93立方 93D05型 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Navarro-López}和\textit{R.Carter}，Theor。计算。科学。642，1--23（2016；Zbl 1345.68215） 全文： 内政部
辛齐亚·伯纳德斯基;安德烈亚·多梅尼奇 通过原型验证系统的交互式定理证明，验证非线性控制的安全特性。 （英文） Zbl 1356.68177号 信息处理。莱特。 116，第6号，409-415（2016）.MSC公司：68吨15 60年第68季度 93立方厘米 93立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Bernardeschi}和\textit{A.Domenici}，Inf.过程。莱特。116，第6号，409--415（2016；Zbl 1356.68177） 全文： 内政部 链接
大卫·布雷索林;卢卡·杰雷蒂;里卡多·穆拉多尔;保罗·菲奥里尼;蒂齐亚诺别墅 应用于机器人手术的形式验证。 （英文） Zbl 1403.93140号 van Schuppen，Jan H.（编辑）等人，《分布式系统的协调控制》。查姆：施普林格（ISBN 978-3-319-10406-5/pbk；978-3-316-10407-2/电子书）。《控制与信息科学课堂讲稿》456347-355（2015）。MSC公司：93C85号 93个B03 90B25型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Lect。票据控制信息科学。456347-355（2015年；Zbl 1403.93140） 全文： 内政部
帕维特拉·普拉巴卡;帕拉萨拉·斯里达尔·达吉拉拉;萨扬·密特拉;马赫什·维斯瓦纳坦 矩形混合系统的基于混合自动机的CEGAR。 （英文） Zbl 1341.68109号 形式方法系统。设计。 46，编号2105-134（2015）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}等人，《形式方法系统》。设计。46，No.2，105--134（2015；Zbl 1341.68109） 全文： 内政部
卢卡·本维努蒂;大卫·布雷索林;彼得·柯林斯;阿尔贝托·法拉利;卢卡·杰雷蒂;蒂齐亚诺别墅 用ARIADNE对非线性混合系统进行假设保证验证。 （英文） Zbl 1284.93121号 Int.J.鲁棒非线性控制 24，第4期，699-724（2014）.MSC公司：93立方 93B15号机组 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Benvenuti}等人，《国际鲁棒非线性控制》24，第4期，699--724（2014；Zbl 1284.93121） 全文： 内政部
托马斯·泽特库利奇;斯特凡·拉特肖恩 混合系统简洁抽象的增量计算。 （英文） Zbl 1348.68133号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，271-285（2011）。MSC公司：60年第68季度 65年第68季度 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{T.Dzetkulič}和\textit{S.Ratschan}，莱克特。注释计算。科学。6919、271--285（2011年；Zbl 1348.68133） 全文： 内政部
贾·戴维德·奎塞尔;马丁·范策尔;达姆，沃纳 跨越类似游戏之间的桥梁。 （英文） Zbl 1348.68147号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，160-176（2011）。MSC公司：60年第68季度 65年第68季度 91A80型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.-D.Quesel}等人，Lect。注释计算。科学。6919、160--176（2011年；Zbl 1348.68147） 全文： 内政部
科尔斯汀·鲍尔;庆蒂里尼、拉斐拉;克劳斯·施耐德 基于混合自动机的属性驱动三值模型检验。 （英文） Zbl 1246.68151号 Ono，Hiroakira（编辑）等人，《逻辑、语言、信息和计算》。2009年6月21日至24日，第16届国际研讨会，WoLLIC 2009，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02260-9/pbk）。计算机科学课堂讲稿5514。人工智能课堂讲稿，218-229（2009）。MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bauer}等人，Lect。注释计算。科学。5514、218--229（2009年；Zbl 1246.68151） 全文： 内政部
鲍尔，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） 全文： 内政部
范·比克，D.A。;曼，K.L。;Reniers，医学硕士。;罗达，J.E。;R.R.H.希弗勒。 混合Chi的语法和一致方程语义。 （英文） 兹比尔1088.68111 J.日志。阿尔盖布。程序。 68，编号1-2，129-210（2006）.MSC公司：60年第68季度 68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.van Beek}等人，J.Log。阿尔盖布。程序。68，编号1--2，129-210（2006；Zbl 1088.68111） 全文： 内政部