托马斯·科拉里克;斯特凡·拉特肖恩 使用布尔可满足性模模拟的铁路调度。 （英语） Zbl 1529.90042号 Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 56-73 (2023).MSC公司：90B35型 68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{T.Kolárik}和\textit{S.Ratschan}，Lect。注释计算。科学。14000，56-73（2023年；兹比尔1529.90042） 全文： 内政部 arXiv公司
亚历山德罗·西马蒂;阿尔贝托·格里乔;恩里科·利帕里尼;罗伯托·塞巴斯蒂亚尼 通过无约束优化和拓扑度测试处理SMT中的多项式和超越函数。 （英语） Zbl 1522.68716号 Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 137-153 (2022).MSC公司：68伏15 55平方米5 90立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Lect。注释计算。科学。13505，137--153（2022；Zbl 1522.68716） 全文： 内政部 链接
杨润秋;刘新福 通过凸优化实现具有非凸约束的线性系统的可达集计算。 （英语） Zbl 1505.93021号 Automatica公司 146，文章ID 110632，8 p.（2022）.MSC公司：93个B03 93C05型 90C25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Yang}和\textit{X.Liu}，Automatica 146，文章ID 110632，8 p.（2022；Zbl 1505.93021） 全文： 内政部
拉韦伊，阿博法兹尔;萨代赫·苏贾尼;亚历山德罗·阿巴特;马吉德·扎马尼 随机混合系统的自动验证和综合：综述。 （英语） Zbl 1504.93389号 Automatica公司 146，文章ID 110617，40 p.（2022）.MSC公司：93E12号机组 93立方 93C55美元 90立方厘米 2002年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人，Automatica 146，文章ID 110617，40 p.（2022；Zbl 1504.93389） 全文： 内政部 arXiv公司
安德烈斯·科托鲁埃洛;穆迪·侯赛因扎德;丹尼尔·拉米雷斯。;丹尼尔·利蒙;伊曼纽尔·加隆 参考相关不变集：基于平方和的计算及其在约束控制中的应用。 （英语） Zbl 1478.93163号 Automatica公司 129，文章ID 109614，9 p.（2021）.MSC公司：93B45码 93B25型 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cotorruelo}等人，Automatica 129，文章ID 109614，9 p.（2021；Zbl 1478.93163） 全文： 内政部 arXiv公司 链接
琼斯，摩根;皮特，马修·M。 Bellman方程的推广及其在路径规划、避障和不变集估计中的应用。 （英语） Zbl 1464.90097号 Automatica公司 127，文章ID 109510，10 p.（2021）.MSC公司：90立方 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Jones}和\textit{M.Peet}，Automatica 127，文章ID 109510，10 p.（2021；Zbl 1464.90097） 全文： 内政部 arXiv公司 OA许可证
薛、白;王秋叶;詹乃军;王世杰;她，直坤 综合状态约束摄动多项式系统的鲁棒吸引域。 （英语） Zbl 1467.93081号 SIAM J.控制优化。 第2号第59页，1083-1108页（2021）.MSC公司：93B35型 93C73号 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{B.Xue}等人，SIAM J.控制优化。59，第2号，1083--1108（2021；Zbl 1467.93081） 全文： 内政部 arXiv公司
安德烈亚·贝卡;杰罗姆·费雷特;塔贾纳·彼得罗夫 保证生化反应网络的热带抽象。 （英语） Zbl 1458.92031号 Gupta，Ankit（编辑）等人，《2018年SASB会议记录》，第九届静态分析和系统生物学国际研讨会，德国弗莱堡，2018年8月28日。阿姆斯特丹：爱思唯尔。电子。理论注释。计算。科学。350, 3-32 (2020).MSC公司：92立方厘米 92C40型 90C24型 PDF格式BibTeX公司 XML格式引用 \textit{A.Beica}等人，《电子》。理论注释。计算。科学。350，3--32（2020；Zbl 1458.92031） 全文： 内政部 arXiv公司
拉坦·拉尔;帕维特拉·普拉巴卡 概率混合系统可达性的有界验证。 （英语） Zbl 1514.68139号 McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 240-256 (2018).MSC公司：60年第68季度 90立方厘米 93个B03 93立方厘米 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Lal}和\textit{P.Prabhakar}，莱克特。注释计算。科学。11024240-256（2018年；兹比尔1514.68139） 全文： 内政部
皮埃尔·鲁克斯;元朗沃罗宁;桑卡拉纳拉亚南，斯里拉姆 验证多项式不变量的数值半定规划求解器。 （英语） Zbl 1425.68081号 形式方法系统。设计。 53，第2期，286-312（2018）.MSC公司：68号30 65千5 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{P.Roux}等人，《形式方法系统》。设计。53，第2号，286--312（2018；Zbl 1425.68081） 全文： 内政部 哈尔
梅克·施瓦姆伯格 证明自治城市交通安全的抽象模型。 （英语） Zbl 1400.68126号 理论。计算。科学。 744, 143-169 (2018).MSC公司：60年第68季度 03B70号 65年第68季度 90B20型 PDF格式BibTeX公司 XML格式引用 \文本{M.Schwammberger}，Theor。计算。科学。744143-169（2018；Zbl 1400.68126） 全文： 内政部
黄振奇;樊楚楚;萨扬·密特拉 时滞非线性网络动力系统的有界不变量验证。 （英语） Zbl 1353.37173号 非线性分析。，混合系统。 23, 211-229 (2017).MSC公司：37号35 93立方厘米 93立方厘米 90B10型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Huang}等，非线性分析。，混合系统。23211-229（2017；Zbl 1353.37173） 全文： 内政部
马丁·希尔舍尔;梅克·施瓦姆伯格 证明自治城市交通安全的抽象模型。 （英语） Zbl 1401.68199号 Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：施普林格（ISBN 978-3-319-46749-8/pbk；978-3-3169-46750-4/电子书）。计算机科学讲座笔记9965，274-292（2016）。MSC公司：60年第68季度 03B70号 65年第68季度 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hilscher}和\textit{M.Schwammberger}，莱克特。注释计算。科学。9965274-292（2016年；Zbl 1401.68199） 全文： 内政部
基里恩·克莱默;弗洛里安·科齐利厄斯;艾丽卡·阿尔布拉汉姆 广义分枝定界方法及其在SAT模非线性整数算法中的应用。 （英语） Zbl 1453.90186号 Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9890, 315-335 (2016).MSC公司：90C57型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Kremer}等人，Lect。注释计算。科学。9890、315--335（2016；Zbl 1453.90186） 全文： 内政部 链接
董武宣;Khanh，To Van先生;小川，水井裕人 raSAT：用于多项式约束的SMT求解器。 （英语） Zbl 1475.68359号 Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日，在葡萄牙科英布拉举行的第八届国际联合会议，IJCAR 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 228-237 (2016).MSC公司：68T20型 68伏15 90立方 PDF格式BibTeX公司 XML格式引用 \textit{V.X.Tung}等人，Lect。注释计算。科学。9706228--237（2016；Zbl 1475.68359） 全文： 内政部
谢丁宝;卜、雷;赵建华;李宣东 线性混合自动机的SAT-LP-IIS联合定向路径有界可达性分析。 （英语） Zbl 1317.68126号 形式方法系统。设计。 45，第1期，42-62（2014）.MSC公司：60年第68季度 65年第68季度 90C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{D.Xie}等人，《形式方法系统》。设计。45，第1号，42--62（2014；Zbl 1317.68126） 全文： 内政部
恩斯特·奥尔特豪斯;丹尼尔·杜米特里乌 证明线性规划的可行性和目标价值。 （英语） Zbl 1247.90187号 操作。Res.Lett公司。 40，第4期，292-297（2012）.MSC公司：90C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit｛E.Althaus｝和\textit｛D.Dumitriu｝，Oper。Res.Lett公司。40，第4号，292--297（2012；Zbl 1247.90187） 全文： 内政部