Statistical Unbounded Verification
Statistical Unbounded Verification
统计无界验证
批准号：
383882557
负责人：
Professor Dr. Jan Kretinsky, Ph.D.
金额：
$0.0万
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2017
资助国家：
德国
项目状态：
已结题
起止时间：
2016-12-31 至 2021-12-31
中文摘要
翻译
本项目将开发使用模拟验证概率系统的正式方法。特别是，它将提供大型和/或未知的马尔可夫链和马尔可夫决策过程对各种目标的统计模型检查的算法，一般无界的地平线，一个理论上具有挑战性和实际相关的问题。主要的重点在于线性时序逻辑，平均回报和线性距离。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Verified Model Checkers
-
批准号：317422601
-
项目类别：Research Grants
-
资助金额：$0.0万
-
财政年份：2016
-
负责人：Professor Dr. Jan Kretinsky, Ph.D.
-
依托单位：
海外基金
