刘德鹏;王,弯腰;付,陈;张丽君 模型检查差异私有属性。 (英语) 兹比尔1512.68157 西奥。计算。科学。 943, 153-170 (2023).MSC公司:60年第68季度 03B44号 60J20型 68第27页 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Liu}等人,Theor。计算。科学。943153-170(2023年;Zbl 1512.68157) 全文: 内政部
哈维尔·埃斯帕尔扎 回到未来:重新审视线性时序逻辑。 (英语) Zbl 07495100号 Maneth,Sebastian(编辑),自动机的实现和应用。第25届国际会议,CIAA 2021,虚拟活动,2021年7月19-22日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12803, 3-13 (2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza},莱克特。注释计算。科学。12803,3--13(2021;Zbl 07495100) 全文: 内政部
哈维尔·埃斯帕尔扎;简·Křetínsk;所罗门·西克特 线性时态逻辑到(ω)-自动机的统一转换。 (英语) Zbl 1499.03017号 美国临床医学杂志 67,第6号,第33号论文,61页(2020年).MSC公司:03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}et al.,J.ACM 67,No.6,论文编号33,61 p.(2020;Zbl 1499.03017) 全文: 内政部
沃伊切赫·贾姆罗加;Konikowska,比塔;达米安·库尔皮夫斯基;沃伊切赫,彭泽克 战略能力的多价值验证。 (英语) 兹比尔1497.68307 芬丹。通知。 175,编号1-4207-251(2020).MSC公司:60年第68季度 03B44号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人,Fundam。通知。175,编号1--4,207--251(2020;Zbl 1497.68307) 全文: 内政部
克里斯特尔·拜尔;克里斯蒂安·亨塞尔;Lisa Hutschenreiter;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;约阿希姆·克莱因 参数马尔可夫链:PCTL复杂性和无分数高斯消去。 (英语) Zbl 1443.68101号 Inf.计算。 272,文章ID 104504,26 p.(2020).MSC公司:60年第68季度 03B44号 60J10型 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《信息计算》。272,文章ID 104504,26 p.(2020;Zbl 1443.68101) 全文: 内政部 arXiv公司
巴斯卡尔·拉马苏布拉曼尼亚语;牛、路遥;安德鲁·克拉克;布什内尔,琳达;普文德兰,拉达 使用安全控制屏障证书的对抗环境中的线性时序逻辑满意度。 (英语) Zbl 1440.68038号 Alpcan,Tansu(编辑)等人,《安全决策与博弈论》。2019年10月30日至11月1日,第十届国际会议,2019年GameSec,瑞典斯德哥尔摩。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11836, 385-403 (2019).MSC公司:68平方米25 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{B.Ramasubramanian}等人,Lect。注释计算。科学。11836,385--403(2019;Zbl 1440.68038) 全文: 内政部 arXiv公司
沃伊切赫·贾姆罗加;瓦迪姆·马尔文;阿尼埃洛·穆拉诺 天生的战略能力。 (英语) Zbl 1478.68385号 Artif公司。智力。 277,文章ID 103170,33 p.(2019).MSC公司:68T42型 03B44号 60年第68季度 68问题85 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人,Artif。智力。277,文章ID 103170,33 p.(2019;Zbl 1478.68385) 全文: 内政部 链接
王,于;尼玛·鲁希;马修·韦斯特;马赫什·维斯瓦纳坦;盖尔·杜勒鲁(Geir E.Dullerud)。 使用对比和分层样本对PCTL进行统计验证。 (英语) Zbl 1425.68270号 形式方法系统。设计。 54,第2期,145-163(2019).MSC公司:60年第68季度 03B44号 60J20型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}等人,《形式方法系统》。设计。54,第2号,145-163(2019年;Zbl 1425.68270) 全文: 内政部
简·Křetínsk;托拜厄斯·梅根多夫;所罗门·西克特 Owl:一个包含\(\omega\)单词、自动机和LTL的库。 (英语) 兹比尔1517.68203 Lahiri,Shuvendu K.(编辑)等人,用于验证和分析的自动化技术。第16届国际研讨会,2018年10月7日至10日,美国加利福尼亚州洛杉矶,ATVA 2018。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11138, 543-550 (2018).MSC公司:65年第68季度 03B44号 68伏35 PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínskඃ}et al.,Lect。注释计算。科学。11138543-550(2018;Zbl 1517.68203) 全文: 内政部
朱利安·古铁雷斯;朱塞佩·佩雷利;迈克尔·伍尔德里奇 反应模块游戏中的信息不完整。 (英语) Zbl 1395.68188号 Inf.计算。 261,第4部分,650-675(2018).MSC公司:60年第68季度 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息计算》。261,第4部分,650--675(2018;Zbl 1395.68188) 全文: 内政部 链接
Chatzieleftheriou,G。;卡萨罗斯,P。 概率系统的抽象模型修复。 (英语) Zbl 1388.68185号 Inf.计算。 259,第1部分,142-160(2018).MSC公司:60年第68季度 03B44号 60J20型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{G.Chatzieleftheriou}和\textit{P.Katsaros},Inf.Compute。259,第1部分,142--160(2018;Zbl 1388.68185) 全文: 内政部
苏斯米特·贾;瓦苏马提·拉曼;多尔莎·萨迪;Sanjit A.Seshia。 使用机会约束时序逻辑实现感知不确定性下的安全自主。 (英语) Zbl 1425.93202号 J.自动化。推理 60,第1号,43-62(2018).MSC公司:93C85号 03B44号 60年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{S.Jha}等人,J.Autom。推理60,No.1,43--62(2018;Zbl 1425.93202) 全文: 内政部
基尼,迪利普;马赫什·维斯瓦纳坦 LTL到限制确定性自动机的最佳转换。 (英语) Zbl 1452.68121号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。10206, 113-129 (2017).MSC公司:60年第68季度 03B44号 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{D.Kini}和\textit{M.Viswanathan},莱克特。注释计算。科学。10206、113--129(2017;Zbl 1452.68121) 全文: 内政部 链接
克里希南德·查特吉;尼尔·皮特曼 义务布莱克威尔游戏和p-自动机。 (英语) Zbl 1432.91019号 J.塞姆。日志。 82,第2期,420-452(2017).MSC公司:91A15型 91A05型 03B44号 03B70号 65年第68季度 2017年第68季度 91A68型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{N.Piterman},J.Symb。日志。82,编号2420-452(2017;兹bl 1432.91019) 全文: 内政部 arXiv公司
Daca,Przemysław公司;托马斯·亨辛格(Thomas A.Henzinger)。;简·Křetínsk;塔贾纳·彼得罗夫 更快的统计模型检查无界时间属性。 (英语) Zbl 1367.68188号 ACM事务处理。计算。日志。 第18条第2款第12条第25页(2017年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Daca}等人,ACM Trans。计算。日志。18,第2号,第12条,第25页(2017;Zbl 1367.68188) 全文: 内政部 arXiv公司
娜塔莎·亚历奇纳;牛,尼尔斯;洛根,布莱恩;Nguyen、Hoang Nga 空闲的优点:资源代理逻辑的一个可判定片段。 (英语) Zbl 1402.68122号 Artif公司。智力。 245, 56-85 (2017).MSC公司:60年第68季度 03年2月25日 03B44号 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人,Artif。智力。245、56-85(2017;Zbl 1402.68122) 全文: 内政部
所罗门·西克特;哈维尔·埃斯帕尔扎;贾克斯,斯特凡;简·Křetínsk 线性时序逻辑的极限确定Büchi自动机。 (英语) Zbl 1411.68054号 Chaudhuri,Swarat(编辑)等人,《计算机辅助验证》。第28届国际会议,CAV 2016,加拿大安大略省多伦多,2016年7月17日至23日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。9780, 312-332 (2016).MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Sickert}等人,Lect。注释计算。科学。9780、312--332(2016;Zbl 1411.68054) 全文: 内政部
毛,华;陈英科;曼弗雷德·杰格;托马斯·尼尔森。;Larsen,Kim G。;布莱恩·尼尔森 从模型检查的角度学习确定性概率自动机。 (英语) Zbl 1454.68061号 机器。学习。 105,第2期,255-299(2016).MSC公司:68问题32 03B44号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Mao}等人,马赫。学习。105,第2号,255--299(2016;Zbl 1454.68061) 全文: 内政部
哈维尔·埃斯帕尔扎;简·Křetínsk;所罗门·西克特 从LTL到确定性自动机。一种不安全的合成方法。 (英语) Zbl 1368.68233号 形式方法系统。设计。 49,第3期,219-271(2016).MSC公司:65年第68季度 03B44号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,《形式方法系统》。设计。49,第3号,219--271(2016;Zbl 1368.68233) 全文: 内政部 arXiv公司
马里亚·斯沃雷奥娃;玛尔塔·奎亚特科夫斯卡 随机博弈的定量验证和策略综合。 (英语) Zbl 1347.93240号 欧洲药典控制 30, 15-30 (2016).MSC公司:93E03型 91A15型 93亿B50 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{M.Svoreňová}和\textit{M.Kwiatkowska},《欧洲期刊控制》30,15-30(2016;Zbl 1347.93240) 全文: 内政部
C·奥尔特。;Chiarugi,D。;M.法拉斯基。;D.赫米思。 生物化学系统中空间和时间依赖性的证明理论观点。 (英语) Zbl 1344.68140号 西奥。计算。科学。 641, 25-42 (2016).MSC公司:60年第68季度 03楼52 2005年第68季度 2010年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人,Theor。计算。科学。641、25-42(2016年;Zbl 1344.68140) 全文: 内政部
戴维·齐亚鲁吉;莫雷诺,法拉斯基;戴安娜埃尔米思;卡洛斯·奥拉特 生物化学系统中空间和时间模式的验证。 (英语) Zbl 1351.68157号 Pauleve,Loic(编辑)等人,第五届静态分析和系统生物学国际研讨会(SASB 2014)的后期报道,德国慕尼黑,2014年9月10日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记316,29-44(2015)。MSC公司:60年第68季度 03B70号 2005年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{D.Chiarugi}等人,《电子》。注释Theor。计算。科学。316、29-44(2015;Zbl 1351.68157) 全文: 内政部
埃尔南德斯,不;科尔斯汀·埃德尔;叶夫根·马吉德;杰苏斯·萨维奇;David A.Rosenblueth。 Marimba:用于验证隐藏马尔可夫模型属性的工具。 (英语) Zbl 1471.68146号 Finkbeiner,Bernd(编辑)等人,《验证和分析自动化技术》。2015年10月12日至15日,第13届国际研讨会,亚洲电视协会,中国上海。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9364, 201-206 (2015).MSC公司:60年第68季度 03B44号 2005年6月2日 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{N.Hernández}等人,Lect。注释计算。科学。9364,201--206(2015;Zbl 1471.68146) 全文: 内政部 arXiv公司
比斯卡亚,M。;Henriques,D。;马特乌斯,P。 近似Skolem问题的可判定性及其在马尔可夫链动力学性质逻辑验证中的应用。 (英语) 兹比尔1354.68168 ACM事务处理。计算。日志。 16,第1号,第4条,第17页(2015年).MSC公司:60年第68季度 03年2月25日 03B44号 05年11月 60J20型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.Biscaia}等人,《美国医学杂志》。计算。日志。16,第1号,第4条,第17页(2015;Zbl 1354.68168) 全文: 内政部
Sohei伊藤;Ichinose、Takuma;Masaya岛川;直子伊祖米;Shigeki Hagihara;直纪延崎 用时序逻辑对基因调控网络进行定性分析。 (英语) Zbl 1329.92049号 西奥。计算。科学。 594, 151-179 (2015).MSC公司:92立方厘米 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ito}等人,Theor。计算。科学。594151--179(2015年;Zbl 1329.92049) 全文: 内政部
埃齐奥·巴托西;卢卡·博托卢西;劳拉·内兹;吉多·桑吉内蒂 利用时间特性的鲁棒性进行随机模型的系统设计。 (英语) Zbl 1327.68147号 西奥。计算。科学。 587, 3-25 (2015).MSC公司:65年第68季度 03B44号 60年第68季度 第68季度87 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人,Theor。计算。科学。587,3--25(2015;Zbl 1327.68147) 全文: 内政部
祖扎纳科马尔科娃;简·Křetínsk Rabinizer 3:LTL到小型确定性自动机的非安全转换。 (英语) Zbl 1448.68268号 Cassez,Franck(编辑)等人,《用于验证和分析的自动化技术》。2014年11月3日至7日,澳大利亚新南威尔士州悉尼,第十二届国际研讨会,ATVA 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8837, 235-241 (2014).MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Komárková}和\textit{J.Křetínskí},Lect。注释计算。科学。8837、235--241(2014;Zbl 1448.68268) 全文: 内政部
简·Křetínsk;鲁斯兰Ledesma Garza Rabinizer 2:用于\(\mathrm的小型确定性自动机{长期贷款}_{\setminus\mathbf{GU}}\)。 (英语) Zbl 1410.68231号 Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。2013年10月15日至18日,第11届国际研讨会,2013年ATVA,越南河内。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8172, 446-450 (2013).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínsk \}和\textit{R.Ledesma Garza},莱克特。注释计算。科学。8172446--450(2013;Zbl 1410.68231) 全文: 内政部
陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 竞争随机系统的自动验证。 (英语) Zbl 1291.68252号 形式方法系统。设计。 43,编号1,61-92(2013).MSC公司:60年第68季度 第68季度87 91A15型 03B44号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,《形式方法系统》。设计。43,第1号,61-92(2013;Zbl 1291.68252) 全文: 内政部
安德烈亚斯·盖泽;简·Křetínsk;哈维尔·埃斯帕尔扎 Rabinizer:用于\({\mathrm{LTL}(\mathrm{F},\mathrm2{G})}\)的小型确定性自动机。 (英语) Zbl 1374.68259号 Chakraborty,Supratik(编辑)等人,《验证和分析自动化技术》。2012年10月3日至6日,印度第十届国际研讨会,2012年ATVA,Thiruvananthapuram。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-3385-9/pbk)。计算机科学课堂讲稿7561,72-76(2012)。MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gaiser}等人,Lect。注释计算。科学。7561、72-76(2012年;Zbl 1374.68259) 全文: 内政部
约翰·Hölzl;托比亚斯·尼普科 验证pCTL模型检查。 (英语) Zbl 1352.68154号 Flanagan,Cormac(编辑)等人,《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议(TACAS 2012),是欧洲软件理论与实践联合会议(ETAPS 2012)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28755-8/pbk)。计算机科学课堂讲稿7214,347-361(2012)。MSC公司:60年第68季度 03B44号 60J20型 第68季度87 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Hölzl}和\textit{T.Nipkow},莱克特。注释计算。科学。7214,347--361(2012;Zbl 1352.68154) 全文: 内政部
陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 竞争随机系统的自动验证。 (英语) Zbl 1352.68150号 Flanagan,Cormac(编辑)等人,《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议(TACAS 2012),是欧洲软件理论与实践联合会议(ETAPS 2012)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28755-8/pbk)。计算机科学课堂讲稿7214,315-330(2012)。MSC公司:60年第68季度 03B44号 第68季度87 91A15型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,Lect。注释计算。科学。7214、315-330(2012;Zbl 1352.68150) 全文: 内政部
Peter Y.H.Wong。;杰里米·吉本斯 工作流建模的属性规范。 (英语) Zbl 1216.68165号 科学。计算。程序。 76,第10期,942-967(2011).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Y.H.Wong}和\textit{J.Gibbons},科学。计算。程序。76,第10号,942--967(2011;Zbl 1216.68165) 全文: 内政部
张丽君;大卫·詹森(David N.Jansen)。;弗莱明·尼尔森;霍尔格·赫尔曼斯 基于CSL模型的自动检查。 (英语) Zbl 1334.68135号 Aceto,Luca(编辑)等人,《自动化,语言和编程》。第38届国际学术讨论会,ICALP 2011,瑞士苏黎世,2011年7月4日至8日。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-22011-1/pbk)。计算机科学课堂讲稿6756271-282(2011)。MSC公司:60年第68季度 03B44号 65年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人,Lect。注释计算。科学。6756271--282(2011年;Zbl 1334.68135) 全文: 内政部
约翰·格兰特;弗朗西斯科·帕里西;奥斯汀帕克;苏布拉曼尼亚,V.S。 一种用于概率时空逻辑的AGM型信念修正机制。 (英语) Zbl 1185.68673号 Artif公司。智力。 174,第1期,72-104(2010).MSC公司:68T27型 03B42型 03B44号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Grant}等人,Artif。智力。174,编号1,72--104(2010;Zbl 1185.68673) 全文: 内政部
马修·科林森;大卫·皮姆 基于资源的系统建模的代数和逻辑。 (英语) Zbl 1185.68441号 数学。结构。计算。科学。 19,第5期,959-1027(2009). 审核人:Jörg Desel(艾希斯特) MSC公司:68问题85 03B44号 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Collinson}和\textit{D.Pym},数学。结构。计算。科学。19,第5号,959--1027(2009;Zbl 1185.68441) 全文: 内政部
莫里斯·比克。;格内西、斯特凡尼亚;迭戈·拉特拉;梅克·马西克;毛里齐奥·塞巴斯蒂安尼斯;詹卢卡·特伦塔尼 协助设计群件系统-模型检查智囊团的可用性方面。 (英语) Zbl 1183.68363号 J.日志。代数。程序。 78,第4期,191-232(2009).MSC公司:60年第68季度 03B44号 68号30 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,J.Log。代数。程序。78,第4号,191--232(2009;Zbl 1183.68363) 全文: 内政部
佩德罗·巴尔塔扎尔;保罗·马特乌斯;拉贾戈帕尔·纳加拉扬;尼古拉斯·帕帕尼科劳 外生概率计算树逻辑。 (英语) 兹比尔1279.03054 Aldini,Alessandro(编辑)等人,第五届编程语言定量方面研讨会论文集(QAPL 2007),葡萄牙布拉加,2007年3月24日至25日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》190,第3期,95-110(2007)。MSC公司:03B70号 03B44号 第68季度87 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baltazar}等人,《电子》。注释Theor。计算。科学。190,第3号,95--110(2007;Zbl 1279.03054) 全文: 内政部
哈坎·L·S·尤尼斯。;里德·西蒙斯(Reid G.Simmons)。 统计概率模型检查,重点关注有时间限制的属性。 (英语) Zbl 1110.68077号 Inf.计算。 204,第9期,1368-1409(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.L.S.Younes}和\textit{R.G.Simmons},Inf.Compute。204,第9号,1368--1409(2006;Zbl 1110.68077) 全文: 内政部
奥列塔·塞利库 HOL中的定量时间逻辑机械化。 (英语) Zbl 1169.03325号 Dang Van Hung(编辑)等人,《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会,越南河内,2005年10月17日至21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29107-5/pbk)。计算机科学课堂讲稿3722439-453(2005)。MSC公司:03B35型 03B44号 68吨15 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{O.Celiku},莱克特。注释计算。科学。3722439--453(2005年;Zbl 1169.03325) 全文: 内政部
克里斯特尔·拜尔;霍尔格·赫尔曼斯;Joost-Pieter卡托恩;Boudewijn R.哈维尔科特。 一致连续时间Markov决策过程中时间有界可达概率的有效计算。 (英语) Zbl 1081.90066号 西奥。计算。科学。 345,第1期,2-26(2005).MSC公司:90立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,Theor。计算。科学。345,编号1,2--26(2005;Zbl 1081.90066) 全文: 内政部 链接