×
马尼德拉·阿格拉瓦尔;阿克西，S。;布莱斯·基内斯特;蒂亚加拉扬，P.S。

马尔可夫链符号动力学的近似验证。 （英语） Zbl 1321.68367号

美国临床医学杂志 62，第1号，第2条，第34页（2015年）.

引用于6文件

MSC公司：

87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等）
68纳米30 软件工程的数学方面（规范、验证、度量、需求等）
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

LTL逻辑;马尔可夫链;近似模型检验;离散化

软件：

棱镜
PDF格式BibTeX公司 XML格式引用
\textit{M.Agrawal}等人，J.ACM 62，No.1，Article No.2，34 p.（2015；Zbl 1321.68367）
全文： DOI程序 哈尔

参考文献：

[1] M.Agrawal、S.Akshay、B.Genest和P.S.Thiagarajan。2012.马尔可夫链符号动力学的近似验证。在LICS的诉讼中。IEEE计算机学会出版社，55-64·Zbl 1362.68162号
[2] R.Alur和D.Dill。时间自动机理论。理论。计算。科学。126, 183–235. ·Zbl 0803.68071号 ·doi:10.1016/0304-3975（94）90010-8
[3] C.Baier、E.Clarke、V.Hartonas-Garmhausen、M.Kwiatkowska和M.Ryan。1997年。概率过程的符号模型检查。1997年ICALP会议记录。计算机科学讲义，第1256卷，斯普林格出版社，430–440·Zbl 1401.68180号
[4] C.Baier、B.Haverport、H.Hermanns和J.-P.Katoen。2005.模型检查符合性能评估。ACM执行评估。第32、4、10–15版。
[5] C.Baier、H.Hermanns、J.-P.Katoen和V.Wolf。2003。马尔可夫链的比较分支时间语义。2003年CONCUR会议记录。计算机科学讲义，第2761卷，施普林格，482-497·Zbl 1274.68264号
[6] C.Baier和J.-P.Katoen。2008.模型检查原则。麻省理工学院出版社·Zbl 1179.68076号
[7] D.Beauquier、A.Rabinovich和A.Slissenko。2002.具有可判定模型检查的概率逻辑。CSL’02会议记录。计算机科学讲义，第2471卷，施普林格，306–321·Zbl 1021.03013号
[8] M.Benedikt、R.Lenhardt和J.Worrell。2013.区间马尔可夫链的LTL模型检查。在TACAS会议记录中。计算机科学讲义，第7795卷，施普林格出版社，32-46页·Zbl 1381.68147号
[9] J.B&#252；芝加哥。1962.关于限制二阶算法中的一种决策方法。《国际逻辑、方法论和科学哲学大会论文集》。斯坦福大学出版社，1-11。
[10] B.Caillaud、B.Delahaye、K.G.Larsen、A.Legay、M.L.Pedersen和A.Wasowski。2011.约束马尔可夫链。理论。计算。科学。第412页、第34页、第4373页至第4404页·Zbl 1223.68070号 ·doi:10.1016/j.tcs.2011.05.010
[11] H.Calbrix、M.Nivat和A.Podelski。有理欧米伽语的最终周期词。《程序设计语义学数学基础国际会议论文集》。施普林格，554-566·Zbl 0917.20053号
[12] R.Chadha、V.Korthikanti、M.Vishwanathan、G.Agha和Y.Kwon。2011.使用唯一的紧不变分布集对MDP进行模型检查。QEST’11会议记录。IEEE计算机协会，121-130。
[13] K.Chatterjee、K.Sen和T.A.Henzinger。2008.对区间马尔可夫链的欧米伽正则性进行模型检验。FoSSaCS会议记录。计算机科学讲义，第4962卷，施普林格，302-317·Zbl 1138.68441号
[14] R.Dedekind。1996年，代数整数理论。剑桥数学图书馆，剑桥大学出版社·Zbl 0863.11068号 ·doi:10.1017/CBO9780511623639
[15] B.Delahaye、K.G.Larsen、A.Legay、M.L.Pedersen和A.Wasowski。2011.区间马尔可夫链的决策问题。LATA会议记录。《计算机科学讲义》，第6638卷，施普林格出版社，274-285页·Zbl 1330.68109号
[16] V.Forejt、M.Z.Kwiatkowska、G.Norman和D.Parker。2011.概率系统的自动验证技术。SFM’11会议记录。计算机科学讲义，第6659卷，斯普林格出版社，53-113页。
[17] S.Haddad和N.Pekergin。2009年。使用随机比较对不确定马尔可夫链进行有效的模型检查。在QEST会议记录中。IEEE计算机学会，177–186。
[18] H.Hansson和B.Jonsson。1994.关于时间和可靠性的推理逻辑。表Asp。计算。第6页，第512页–第535页·Zbl 0820.68113号 ·doi:10.1007/BF01211866
[19] G.Hardy和E.Wright。1960年，《数论导论》。牛津克拉伦登出版社·Zbl 0086.25803号
[20] T.A.亨廷格。1996年，混合自动机理论。在LICS的诉讼中。IEEE计算机学会出版社，278–292·Zbl 0959.68073号
[21] M.Huth和M.Z.Kwiatkowska。1997年，定量分析和模型检验。在LICS的诉讼中。IEEE计算机学会出版社，111-122。
[22] B.Jonsson和K.G.Larsen。1991.概率过程的规范和改进。在LICS的诉讼中。IEEE计算机学会出版社。266–277.
[23] J.G.Kemeny和J.L.Snell。1960。有限马尔可夫链。普林斯顿大学出版社·Zbl 0089.13704号
[24] V.A.Korthikanti、M.Viswanathan、G.Agha和Y.Kwon。2010.关于MDP作为概率分布变压器的推理。在QEST会议记录中。IEEE计算机学会出版社，199–208。
[25] I.O.科赞。2002.区间值马尔可夫链。可靠的计算。8, 97–113. ·Zbl 1001.65007号 ·doi:10.1023/A:1014745904458
[26] M.Z.Kwiatkowska、G.Norman和D.Parker。2011年，PRISM 4.0：概率实时系统验证。在CAV会议记录中。计算机科学讲义，第6806卷，施普林格，585-591。
[27] Y.Kwon和G.Agha。线性不等式LTL（iLTL）：离散时间马尔可夫链的模型检查器。在ICFEM会议记录中。《计算机科学讲义》，第3308卷，斯普林格出版社，194-208年。
[28] Y.Kwon和G.Agha。2011.验证DTMC管理的概率分布的演变。IEEE传输。柔软。工程37、1、126–141·doi:10.10109/TTS.2010.80
[29] S.莱利。2010年。课程笔记：基本马尔可夫链理论。网址：http://galton.uchicago.edu/lalley/Courses/312/MarkovChains.pdf。
[30] S.Lang.1994年。代数数论（数学研究生课程）。斯普林格。 ·doi:10.1007/978-1-4612-0853-2
[31] D.Lind和B.Marcus。1995.符号动力学和编码导论。剑桥大学出版社，英国剑桥·Zbl 1106.37301号 ·doi:10.1017/CBO9780511626302
[32] S.Meyn和R.Tweedie。1993。马尔可夫链和随机稳定性。斯普林格·弗拉格，伦敦·Zbl 0925.60001号 ·doi:10.1007/978-1-4471-3267-7
[33] P.V.Mieghem公司。2006.通信网络和系统的性能分析。剑桥大学出版社·Zbl 1168.94301号 ·doi:10.1017/CBO9780511616488
[34] M.Morse和G.A.Hedlund。1938.象征动力学。阿默尔。数学杂志。60, 815–866. ·Zbl 0019.33502号 ·doi:10.2307/2371264
[35] J.R.Norris，1997年。马尔可夫链。剑桥统计与概率数学丛书，第2卷，剑桥大学出版社，纽约·Zbl 0873.60043号
[36] J.Ouaknine和J.Worrell。2012.线性递归序列的决策问题。在反应性问题中。计算机科学讲义，第7550卷，施普林格出版社，21–28页·Zbl 1298.11015号 ·doi:10.1007/978-3-642-33512-93
[37] H.施耐德。原始非负矩阵指数不等式的Wielandt证明。Lin.代数应用。353, 5–10. ·Zbl 1006.15023号 ·doi:10.1016/S0024-3795（02）00414-7
[38] E.塞内塔。1981.非负矩阵和马尔可夫链。统计学中的斯普林格系列。斯普林格·Zbl 1099.60004号 ·数字对象标识代码：10.1007/0-387-32792-4
[39] D.斯科尔。2009.具有区间概率的离散时间马尔可夫链。国际期刊近似推理50，81314–1329·Zbl 1195.60100号 ·doi:10.1016/j.ijar.2009.06.007
[40] A.塔斯基。初等代数和几何的判定方法。加利福尼亚大学出版社·Zbl 0044.25102号
[41] P.Turakainen。1968.关于随机语言。Inf.Cont.12，304–313·Zbl 0214.02101号 ·doi:10.1016/S0019-9958（68）90360-4
[42] M.Y.瓦尔迪。1999.概率线性时间模型检验：自动机理论方法概述。《艺术学报》。计算机科学讲义，第1601卷，施普林格，265-276。
[43] K.Weichselberger。2000.间隔概率理论作为不确定性的统一概念。国际期刊近似原因。24, 2–3, 149–170. ·兹比尔0995.68123 ·网址：10.1016/S0888-613X（00）00032-3
[44] H.威兰特。1950.Unzerlegbare，nicht negative Matrizen，数学。Z.52（1950）642-648。（Mathematische Werke/数学著作100–106 de Gruyter，柏林，1996）·Zbl 0035.29101号 ·doi:10.1007/BF02230720
[45] V.Wolf、R.Goel、M.Mateescu和T.A.Henzinger。2010年。使用滑动窗口求解化学主方程。BMC系统。生物学4:42·doi:10.186/1752-0509-4-42
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。