哈桑·哈特菲；拉尔夫·威默；布雷丁，贝蒂娜；费雷尔·菲奥里蒂，路易斯·玛丽亚；贝恩德·贝克尔；霍尔格·赫尔曼斯 随机博弈和马尔可夫自动机中的成本与时间。 （英语） Zbl 1370.68173号 正式Asp。计算。 29，第4号，629-649（2017）. MSC公司： 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 91A15型 随机对策，随机微分对策 关键词：马尔可夫自动机；随机博弈；预期回报；成本界限；时间界限 PDF格式BibTeX公司 XML格式引用 \textit{H.Hatefi}等人，《形式Asp》。计算。29，第4号，629--649（2017；Zbl 1370.68173） 全文： 内政部 参考文献： [1] Ash RB，Doléans-Dade CA（1999）概率与测度理论，第2版。纽约学术出版社·Zbl 0944.60004号 [2] Andova S，Hermanns H，Katoen JP（2003）离散时间奖励模型。In：关于时间系统（FORMATS）的形式化建模和分析的国际会议。计算机科学课堂讲稿。第2791卷。柏林施普林格，第88-104页·Zbl 1099.68652号 [3] Boudali H、Crouzen P、Stoelinga M（2010）动态故障树分析的严格、组合和可扩展框架。IEEE传输相关秒计算7（2）：128-143·doi:10.1109/TDSC.2009.45 [4] Bruno JL，Downey PJ，Frederickson GN（1981）使用指数服务时间排序任务，以最小化预期流动时间或最大持续时间。美国临床医学杂志28（1）：100-113·Zbl 0454.68016号 ·数字对象标识代码：10.1145/322234.32242 [5] Braitling B，María Ferrer Fioriti L，Hatefi H，Wimmer R，Becker B，Hermanns H（2014）MeGARA：马尔可夫自动机的基于菜单的游戏抽象精化。摘自：Bertrand N，Bertolussi L（eds）国际编程语言和系统（QAPL）定量方面研讨会。收录于：《理论计算机科学电子会议录》，第154卷。格勒诺布尔开放出版协会，第48-63页·Zbl 1432.68217号 [6] Braitling B，María Ferrer FL，Hatefi H，Wimmer R，Hermanns H，Becker B（2015），基于抽象的马尔可夫自动机奖励措施计算。In：关于验证、模型检查和抽象解释（VMCAI）的国际会议。计算机科学课堂讲稿，第8931卷。柏林施普林格，172-189页·兹比尔1432.68217 [7] Brázdil T，Forejt V，Krcál J，KretínskíJ，Kucera A（2013）具有时限可达性的连续时间随机博弈。Inf计算224:46-70·Zbl 1264.91016号 ·doi:10.1016/j.ic.2013.01.001 [8] Baier C、Haverkort BR、Hermanns H、Katoen JP（2000）《关于性能特性的逻辑表征》。收录：关于自动机、语言和编程（ICALP）的国际学术讨论会。收录：计算机科学课堂讲稿，第1853卷。柏林施普林格，第780-792页·Zbl 0973.68014号 [9] Baier C，Haverkort BR，Hermanns H，Katoen JP（2008）连续时间马尔可夫奖励决策过程中的可达性。In：逻辑和自动机：历史和观点。沃尔夫冈·托马斯荣誉。逻辑与游戏课文，第二卷。阿姆斯特丹大学出版社，阿姆斯特丹，第53-72页·Zbl 1222.68120号 [10] Butkova Y，Hatefi H，Hermanns H，Krcál J（2015）最优连续时间Markov决策。收录：Finkbeiner B、Pu G、Zhang L（编辑）国际研讨会。验证和分析自动化技术（ATVA）。计算机科学课堂讲稿，第9364卷。上海施普林格，第166-182页·Zbl 1471.68132号 [11] Baier C，Katoen J-P（2008）《模型检验原理》。麻省理工学院出版社·Zbl 1179.68076号 [12] Buchholz P，Schulz I（2011）有限视野下连续时间Markov决策过程的数值分析。计算运算结果38（3）：651-659·Zbl 1206.90206号 ·doi:10.1016/j.cor.2010.08.011 [13] Cloth L，Katoen J-P，Khattri M，Pulungan R（2005），利用脉冲报酬检验马尔可夫报酬模型。In：可靠系统和网络（DSN）国际会议。IEEE计算机协会，纽约，第722-731页 [14] Eisentraut C，Hermanns H，Katoen J-P，Zhang L（2013）每个GSPN的语义。In：程序。petri网。计算机科学课堂讲稿，第7927卷。柏林施普林格，第90-109页·Zbl 1381.68199号 [15] Eisentraut C，Hermanns H，Zhang L（2010）关于连续时间中的概率自动机。In:IEEE年度研讨会。计算机科学中的逻辑。IEEE计算机协会，纽约，第342-351页 [16] Fu H（2014）连续时间Markov决策过程的最大成本有界可达概率。In：软件科学和计算结构基础国际会议（FoSSaCS）。计算机科学课堂讲稿，第8412卷。柏林施普林格，第73-87页·Zbl 1405.68229号 [17] Fu H（2014）《验证概率系统：新算法和复杂性结果》。亚琛RWTH大学博士论文 [18] Gburek D、Baier C、Klüppelholz S（2016）基于跨度和耦合的随机过渡系统组成。在：第43届自动机、语言和编程国际学术讨论会，ICALP 2016，2016年7月11日至15日，意大利罗马，第102:1-102:15页·Zbl 1388.68196号 [19] Guck D、Hatefi H、Hermanns H、Katoen J.-P.Timmer M（2013）《马尔可夫自动机的建模、约简和分析》。In：关于系统定量评估（QEST）的国际会议。计算机科学课堂讲稿，第8054卷。柏林施普林格，第55-71页 [20] Guck D、Hatefi H、Hermanns H、Katoen JP、Timmer M（2014）《马尔可夫自动机的时间和长期目标分析》。逻辑方法计算科学10（3）·Zbl 1342.68135号 [21] Guck D，Han T，Katoen JP，Neuhäußer MR（2012）交互式马尔可夫链的定量时间分析。In:NASA正式方法研讨会（NFM）。计算机科学课堂讲稿，第7226卷。柏林施普林格，第8-23页 [22] Guck D、Timmer M、Hatefi H、Ruijters E、Stoelinga M（2014）马尔可夫报酬自动机的建模与分析。In：国际研讨会。验证和分析自动化技术（ATVA）。计算机科学课堂讲稿，第8837卷。柏林施普林格，第168-184页·Zbl 1448.68265号 [23] Hatefi H、Braitiling B、Wimmer R、María Ferrer Fioriti L、Hermanns H、Becker B（2015）随机博弈和马尔可夫自动机中的成本与时间。收录人：李X、刘Z、易伟（编辑）国际研讨会。关于可靠软件工程：理论、工具和应用（SETTA）。计算机科学课堂讲稿，第9409卷。南京施普林格，第19-34页·Zbl 1369.68253号 [24] Hermanns H（2002）交互式马尔可夫链：对量化质量的追求。收录：计算机科学课堂讲稿，第2428卷。柏林施普林格·Zbl 1012.68142号 [25] Hatefi H，Hermanns H（2012）马尔可夫自动机的模型检查算法。欧洲EASST 53 [26] Johr S（2008）模型检验组合马尔可夫系统。萨尔州大学博士论文·Zbl 1144.68040号 [27] Miller BL（1968）有限规划视界的有限状态连续时间Markov决策过程。SIAM J控制6（2）：266-280·Zbl 0162.23302号 ·数字对象标识代码：10.1137/0306020 [28] Neuháußer MR（2010）《模型检验非确定性随机时间系统》。亚琛RWTH大学和特温特大学博士论文 [29] Neyman，A，Sorin，S（编辑）（2003）随机游戏和应用。柏林施普林格·Zbl 1093.91005号 [30] Neuháußer MR，Zhang L（2010）连续时间Markov决策过程中的有时限可达概率。In：关于系统定量评估（QEST）的国际会议。IEEE计算机学会，纽约，第209-218页 [31] 邱Q，瞿Q，Pedram M（2001）电力管理系统构建与优化的随机建模。IEEE Trans CAD集成电路系统20（10）：1200-1217·数字对象标识代码：10.1109/43.952737 [32] Simunic T、Benini L、Glynn P.W、De Micheli G（2000）《便携式系统的动态电源管理》。In:美国马萨诸塞州波士顿市移动计算与网络年度国际会议（MOBICOM），8月，第11-19页 [33] Segala R（1995）概率自动机的基于组合跟踪的语义。In：并发理论国际会议（CONCUR）。计算机科学课堂讲稿，第962卷。柏林施普林格，第234-248页 [34] Shapley LS（1953）随机游戏。美国国家科学院院刊39（10）：1095·Zbl 0051.35805号 [35] Tarski A（1955）格理论不动点定理及其应用。Pac J数学5（2）：285-309·Zbl 0064.26004号 ·doi:10.2140/pjm.1955.5.285 [36] Timmer M，Katoen J-P van de Pol J，Stoelinga M（2012）马尔可夫自动机的有效建模和生成。In：并发理论国际会议（CONCUR）。计算机科学讲义，第7454卷。柏林施普林格，第364-379页·Zbl 1364.68295号 [37] Timmer M，van de Pol J，Stoelinga M（2013），马尔可夫自动机的汇流减少。In：关于时间系统（FORMATS）的形式化建模和分析的国际会议。计算机科学课堂讲稿，第8053卷。柏林施普林格，第243-257页·Zbl 1390.68419号 [38] Wolovick N，Johr S（2006）连续时间Markov决策过程中有意义调度器的特征。在：Asarin E，Bouyer P（eds）关于定时系统的形式化建模和分析的国际会议（FORMATS）。计算机科学课堂讲稿，第4202卷。巴黎施普林格，第352-367页·Zbl 1141.68517号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。