Statistical Unbounded Verification

统计无界验证

• 批准号: 383882557
• 负责人: Professor Dr. Jan Kretinsky, Ph.D.
• 金额: --
• 依托单位: Katedra teorie programování
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2017
• 资助国家: 德国
• 起止时间: 2016-12-31 至 2021-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/383882557?language=en
• 关键词: Statistical; Unbounded; Verification

This project will develop formal methods for verification of probabilistic systems using simulations. In particular, it will provide algorithms for statistical model checking of large and/or unknown Markov chains and Markov decision processes against various objectives with generally unbounded horizon, a theoretically challenging and practically relevant problem. The main focus lies on linear temporal logic, mean payoff and linear distances.

本项目将开发使用模拟验证概率系统的正式方法。特别是，它将提供大型和/或未知的马尔可夫链和马尔可夫决策过程对各种目标的统计模型检查的算法，一般无界的地平线，一个理论上具有挑战性和实际相关的问题。主要的重点在于线性时序逻辑，平均回报和线性距离。