罗希特·杜雷加;克里斯汀·罗泽尔。 通过可重用可达状态近似进行增量设计空间模型检查。 (英语) Zbl 1492.68085号 形式方法系统。设计。 58,编号3,375-398(2021).MSC公司:第68季度第60季度 68T20型 90B20型 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Dureja}和\textit{K.Y.Rozier},《形式方法系统》。设计。58,编号3,375-398(2021;兹bl 1492.68085) 全文: 内政部 链接
乌芒·马图尔;鲍尔,马修·S。;罗希特·查达;西斯特拉·A·普拉萨德;马赫什·维斯瓦纳坦 通过理性搜索进行精确的定量概率模型检查。 (英语) Zbl 1506.68057号 形式方法系统。设计。 56,编号1-3,90-126(2020).MSC公司:第68季度第60季度 60J20型 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{U.Mathur}等人,《形式方法系统》。设计。56,编号1--3,90-126(2020;Zbl 1506.68057) 全文: 内政部
杰西卡·格伦斯基;穆罕默德·阿明·本·萨西;斯蒂芬·贝克尔;桑卡拉纳拉亚南,斯里拉姆 模板多面体和双线性优化。 (英语) Zbl 1426.65079号 形式方法系统。设计。 54,第1号,第27-63页(2019年).MSC公司:65千5 90C25型 90摄氏51度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gronski}等人,《形式方法系统》。设计。54,编号1,27-63(2019;Zbl 1426.65079) 全文: 内政部
皮埃尔·鲁克斯;沃罗宁,Yuen Lam;桑卡拉纳拉亚南,斯里拉姆 验证多项式不变量的数值半定规划求解器。 (英语) Zbl 1425.68081号 形式方法系统。设计。 53,第2期,286-312(2018).MSC公司:68号30 65千5 90立方厘米22 PDF格式BibTeX公司 XML格式引用 \textit{P.Roux}等人,《形式方法系统》。设计。53,第2号,286--312(2018;Zbl 1425.68081) 全文: 内政部 哈尔
米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔 多维马尔可夫决策过程中的百分比查询。 (英语) Zbl 1360.68518号 形式方法系统。设计。 50,编号2-3,207-248(2017).MSC公司:65年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Randour}等人,《形式方法系统》。设计。50,编号2--3,207--248(2017;Zbl 1360.68518) 全文: 内政部 arXiv公司
克里希南德·查特吉;马丁·奇梅利克;Daca,Przemysław公司 用于马尔可夫决策过程中定性属性的组合分析的CEGAR。 (英语) Zbl 1322.68137号 形式方法系统。设计。 47,第2期,230-264(2015).MSC公司:87年第68季度 第68季度第60季度 90立方厘米 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《形式方法系统》。设计。47,第2号,230--264(2015;Zbl 1322.68137) 全文: 内政部
谢丁宝;卜、雷;赵建华;李宣东 线性混合自动机的SAT-LP-IIS联合定向路径有界可达性分析。 (英语) Zbl 1317.68126号 形式方法系统。设计。 45,第1期,42-62(2014).MSC公司:第68季度第60季度 65年第68季度 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{D.Xie}等人,《形式方法系统》。设计。45,第1号,42--62(2014;Zbl 1317.68126) 全文: 内政部
托马斯·马丁·高利察;赫尔穆特·塞德尔 通过凸松弛和最大策略迭代实现数值不变量。 (英语) 兹比尔1291.68256 形式方法系统。设计。 44,第2期,101-148(2014).MSC公司:第68季度第60季度 90C25型 47时10分 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Gawlitza}和\textit{H.Seidl},表格方法系统。设计。44,No.2,101--148(2014;Zbl 1291.68256) 全文: 内政部 arXiv公司
克里希南德·查特吉;莫妮卡·亨津格;玛纳斯·乔格勒卡尔;尼萨尔·沙阿 用于具有Büchi目标的马尔可夫决策过程定性分析的符号算法。 (英语) Zbl 1291.68251号 形式方法系统。设计。 42,第3期,301-327(2013).MSC公司:第68季度第60季度 87年第68季度 68瓦30 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《形式方法系统》。设计。42,第3号,301-327(2013;Zbl 1291.68251) 全文: 内政部 arXiv公司
伊西尔·迪利格;托马斯·迪利格;亚历克斯·艾肯 从证明中截取:解决整数上线性不等式的完整实用技术。 (英语) Zbl 1250.90057号 形式方法系统。设计。 39,第3期,246-260(2011).MSC公司:90立方厘米 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{I.Dillig}等人,《形式方法系统》。设计。39,第3号,246--260(2011;Zbl 1250.90057) 全文: 内政部
贝诺·德拉哈耶;贝诺·凯劳德;Legay、Axel 概率契约:用于设计具有随机和/或非确定性方面的系统的组合推理方法。 (英语) Zbl 1210.93068号 形式方法系统。设计。 38,第1期,1-32页(2011年).MSC公司:93E03型 87年第68季度 65年第68季度 第68季度第60季度 90B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,《形式方法系统》。设计。38,第1号,1--32(2011;Zbl 1210.93068) 全文: 内政部
Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 马尔可夫决策过程的一个基于博弈的抽象精化框架。 (英语) Zbl 1233.90276号 形式方法系统。设计。 36,第3期,246-280(2010).MSC公司:90立方厘米40 91A15型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Kattenbelt}等人,《形式方法系统》。设计。36,第3号,246--280(2010;Zbl 1233.90276) 全文: 内政部 链接
帕特里夏·鲍耶;埃德·布林克斯马;Larsen,Kim G。 多值时间自动机的最优无限调度。 (英语) Zbl 1133.68360号 形式方法系统。设计。 32,第1号,3-23(2008).MSC公司:65年第68季度 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《形式方法系统》。设计。32,第1号,第3--23号(2008;Zbl 1133.68360) 全文: 内政部 链接
佐尔坦·阿达姆·曼;安德拉斯·奥尔班;佩特·阿拉特 寻找最佳硬件/软件分区。 (英语) Zbl 1131.68119号 形式方法系统。设计。 31,第3期,241-263(2007).MSC公司:68周05 90C05(二氧化碳) 68M99型 68纳米99 PDF格式BibTeX公司 XML格式引用 \textit{Z.á.Mann}等人,《形式方法系统》。设计。31,第3号,241--263(2007;Zbl 1131.68119) 全文: 内政部
Masahiro Fujita(编辑);帕特里克·C·麦吉尔。(编辑) 多端二进制决策图。 (英语) Zbl 0863.00022号 形式方法系统。设计。10,第2-3号,第133-276页(1997年)。 MSC公司:00B15号机组 68-06 90-06 PDF格式BibTeX公司 XML格式