文件大小：0.8 MB 22页
通过重启增强马尔可夫链的ω-正则性
作者
-
部分： 体积： 第32届并行理论国际会议（CONCUR 2021）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 并行理论国际会议（CONCUR） 许可证： 
Creative Commons Attribution 4.0国际许可 出版日期：2021-08-13
文件
文件标识符
DOI（操作界面）： 10.4230/LIPIcs公司。 合同2021.5 URN: urn:nbn:de:0030-drops-143824
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算理论 → 通过模型检查进行验证
关键词
马尔可夫链 欧米伽正则性质 运行时强制
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
普拉纳夫·阿肖克（Pranav Ashok）、扬·克伦斯克（Jan Kretínsk）和马克西米利安·维宁格（Maximilian Weininger）。 马尔可夫决策过程和随机博弈的PAC统计模型检验。 在CAV（1）中，《计算机科学讲义》第11561卷，第497-519页。 斯普林格，2019年。 
-
克里斯特尔·拜尔（Christel Baier）和朱斯特·佩特尔·卡托恩（Joost-Pieter Katoen）。 模型检查原则。 麻省理工学院出版社，2008年。
-
David A.Basin、Vincent Jugé、Felix Klaedtke和Eugen Zalinescu。 重新审查了可强制执行的安全策略。 ACM事务处理。 信息系统。 安全。， 16(1):3:1-3:26, 2013.
-
雨果·巴泽尔、布莱斯·基内斯特、西里尔·杰古尔和孙骏。 学习离散时间马尔可夫链的全局PAC界。 在CAV（2）中，《计算机科学讲义》第12225卷，第304-326页。 斯普林格，2020年。
-
陈英科（Yingke Chen）、毛华（Hua Mao）、曼弗雷德·杰格（Manfred Jaeger）、托马斯·迪赫·尼尔森（Thomas Dyhre Nielsen）、金·古德斯特兰·拉森（Kim Guldstrand Larsen）和布莱恩·尼尔森。 学习平稳系统行为的马尔可夫模型。 NASA形式方法，计算机科学讲义第7226卷，第216-230页。 施普林格，2012年。
-
Przemyslaw Daca、Thomas A.Henzinger、Jan Kretínsk和Tatjana Petrov。 更快的统计模型检查无界时间属性。 ACM事务处理。 计算。 日志。， 18(2):12:1-12:25, 2017.
-
编辑Tadashi Dohi、Kishor Trivedi和Alberto Avritzer。 软件老化和复兴手册。 《世界科学》，2020年。
-
伊利耶斯·法尔科内（Yliès Falcone）、劳伦特·穆尼尔（Laurent Mounier）、珍妮·克劳德·费尔南德斯（Jean-Claude Fernandez）和珍妮·卢克·里奇（Jean-Luc Richier）。 运行时强制监控器：合成、合成和强制能力。 形式方法系统。 设计。， 38（3）：2011年第223-262页。
-
Yliès Falcone和Srinivas Pinisetty。 在运行时强制执行定时属性。 在RV中，《计算机科学讲义》第11757卷，第48-69页。 斯普林格，2019年。
-
马特奥·加格利奥洛和杰根·施密杜贝尔。 学习重启策略。 在IJCAI中，第792-797页，2007年。
-
Kalpana Gondi、Yogeshkumar Patel和A.Prasad Sistla。 监测随机系统的全部欧米伽正则特性。 在VMCAI中，计算机科学讲义第5403卷，第105-119页。 施普林格，2009年。
-
Yennun Huang、Chandra M.R.Kintala、Nick Kolettis和N.Dudley Fulton。 软件复兴：分析、模块和应用程序。 在FTCS中，第381-390页。 IEEE计算机学会，1995年。
-
托马斯·詹森。 进化算法的动态重启策略分析。 在PPSN中，《计算机科学讲义》第2439卷，第33-43页。 斯普林格，2002年。
-
Marta Z.Kwiatkowska、Gethin Norman和David Parker。 Prism 4.0：概率实时系统验证。 在CAV中，第585-591页，2011年。
-
Marta Z.Kwiatkowska、Gethin Norman和David Parker。 PRISM基准套件。 QEST，第203-204页。 IEEE计算机学会，2012年。
-
杰伊·利加蒂（Jay Ligatti）、卢乔·鲍尔（Lujo Bauer）和大卫·沃克（David Walker）。 非安全政策的实时执行。 ACM事务处理。 信息系统。 安全。， 12(3):19:1-19:41, 2009.
-
弗雷德·施耐德。 可强制执行的安全策略。 ACM事务处理。 信息系统。 安全。， 3(1):30-50, 2000.
-
A.Prasad Sistla和Abhigna R.Srinivas。 监测随机系统的时间特性。 在VMCAI中，《计算机科学讲义》第4905卷，第294-308页。 施普林格，2008年。
-
A.普拉萨德·西斯特拉（Prasad Sistla）、米洛斯·泽弗兰（Milos Zefran）和姚峰（Yao Feng）。 具有混合状态的随机网络物理系统的运行时监测。 在RV中，《计算机科学讲义》第7186卷，第276-293页。 施普林格，2011年。
-
Aad P.A.van Moorsel和Katinka Wolter。 分析软件系统中的重新启动机制。 IEEE传输。 软件工程，32（8）：547-5582006。
-
王靖一、孙骏、袁琦霞和庞骏。 我们应该学习用于模型检查的概率模型吗？ 新方法和实证研究。 在FASE中，计算机科学讲义第10202卷，第3-21页。 施普林格，2017年。
-
卡廷卡·沃尔特。 容错随机模型-重启、恢复和检查点。 施普林格，2010年。