×
尤利亚·布特科娃;拉尔夫·威默;霍尔格·赫尔曼斯

马尔可夫自动机的长期奖励。 （英语） Zbl 1452.68102号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。10206, 188-203 (2017).
摘要：马尔可夫自动机是一种强大的形式主义，用于建模具有不确定性、概率选择和连续随机定时的系统。我们考虑长期平均回报的计算，这是连续时间马尔可夫模型分析中最经典的问题。我们提出了一种基于值迭代的算法。它大大提高了技术水平。这一贡献源于对马尔可夫自动机的全新认识，即将其视为CTMDP的有效编码，在最坏的情况下，具有指数级更多的转换。
关于整个系列，请参见[Zbl 1360.68016号].

引用于1文件

MSC公司：

65年第68季度 形式语言和自动机
87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等）

软件：

勺
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Butkova｝等人，Lect。注释计算。科学。10206、188--203（2017；Zbl 1452.68102）
全文： 内政部

参考文献：

[1] Bellman，R.E.：动态编程。普林斯顿大学出版社，普林斯顿（1957）·Zbl 0077.13605号
[2] Bertsekas，D.P.：《动态规划与最优控制》，第二版。雅典娜科学，贝尔蒙特（2000）
[3] Bhattacharya，R.N.，Waymire，E.C.：随机过程及其应用。SIAM，费城（2009）·Zbl 1171.60333号 ·数字对象标识代码：10.1137/1.9780898718997
[4] Chatterjee，K.，Henzinger，M.：概率验证中最大终成分分解和相关图形问题的更快动态算法。摘自：SODA会议记录，第1318-1336页，2011年1月·Zbl 1374.68272号
[5] Eisentaut，C.，Hermanns，H.，Zhang，L.：关于连续时间中的概率自动机。摘自：LICS会议记录，第342-351页。IEEE CS（2010）
[6] Ghemawat，S.、Gobioff，H.、Leung，S.：谷歌文件系统。收录人：Scott，M.L.、Peterson，L.L.（编辑）《SOSP会议录》，美国纽约州博尔顿兰德，第29-43页。ACM，2003年10月
[7] Guck，D.：马尔可夫自动机的定量分析。RWTH亚琛大学硕士论文，2012年6月
[8] Guck，D.、Hatefi，H.、Hermanns，H.，Katoen，J.-P.、Timmer，M.：马尔可夫自动机的建模、约简和分析。收录人：Joshi，K.、Siegle，M.、Stoelinga，M.和D'Argenio，P.R.（编辑）QEST 2013。LNCS，第8054卷，第55-71页。斯普林格，海德堡（2013）。doi:10.1007/978-3642-40196-15·doi:10.1007/978-3-642-40196-1_5
[9] Guck，D.，Hatefi，H.，Hermanns，H.、Katoen，J.、Timmer，M.：马尔可夫自动机的时间和长期目标分析。日志。方法计算。科学。10(3) (2014) ·Zbl 1342.68135号
[10] Guck，D.，Timmer，M.，Hatefi，H.，Ruijters，E.，Stoelinga，M.：马尔可夫报酬自动机的建模和分析。收录：Cassez，F.、Raskin，J.-F.（编辑）ATVA 2014。LNCS，第8837卷，第168-184页。斯普林格，海德堡（2014）。doi:10.1007/978-3-319-11936-613·Zbl 1448.68265号 ·doi:10.1007/978-3-319-11936-613
[11] Hatefi，H.，Hermanns，H.：马尔可夫自动机的模型检查算法。欧洲经委会ASST 53（2012）。http://journal.ub.tu-berlin.de/eceasst/article/view/783
[12] Haverport，B.R.，Hermanns，H.，Katoen，J.：关于模型检查技术在可靠性评估中的应用。摘自：《SRDS会议记录》，德国纽伦堡，第228-237页。IEEE CS，2000年10月
[13] Puterman，M.L.：《马尔可夫决策过程：离散随机动态规划》，第1版。威利，纽约（1994）·兹伯利0829.90134 ·doi:10.1002/9780470316887
[14] Stewart，W.J.：马尔可夫链数值解简介。普林斯顿大学出版社，普林斯顿（1994）·Zbl 0821.65099号
[15] Timmer，M.：SCOOP：概率过程符号优化工具。摘自：《QEST会议录》，德国亚琛，第149-150页。IEEE CS，2011年9月
[16] Timmer，M.，Pol，J.，Stoelinga，M.I.A.：马尔可夫自动机的汇流约简。收录：Braberman，V.，Fribourg，L.（编辑）格式2013。LNCS，第8053卷，第243-257页。斯普林格，海德堡（2013）。doi:10.1007/978-3-642-40229-6_17·Zbl 1390.68419号 ·doi:10.1007/978-3642-40229-617
[17] R·旺德林。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。