Simulation-Based Model Checking for Nondeterministic Systems and Rare Events.

著录项

• 作者

  Clarke, E.; Musliner, D.; Goldman, R.; Kong, S.; Wang, Q.;

  展开▼
• 作者单位

  展开▼
• 年度 2016
• 页码 1-17
• 总页数 17
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词

  Automata theory; Mathematical models; Markov processes; Statistical analysis; Statistical model checking; Probabilistic automata; Monte carlo tree search;

  机译：自动机理论;数学模型;马尔可夫过程;统计分析;统计模型检验;概率自动机;蒙特卡罗树搜索;