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.
-
依托单位：
海外基金
