机构

• 软件研究所 [2]
• 数学与系统科学研究院 [1]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [3]

发表日期

• 2016 [3]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters 期刊论文  OAI收割 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 7, 页码: 623-639 作者:  Su, Guoxin;  Feng, Yuan;  Chen, Taolue;  Rosenblum, David S.   |  收藏  |  浏览/下载：35/0  |  提交时间：2018/07/30 Asymptotic perturbation bound  discrete-time Markov chain  numerical iteration  optimization  parametric Markov chain  perturbation analysis  probabilistic model checking  quadratic programming   Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes 期刊论文  OAI收割 ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2016, 卷号: 25, 期号: 3 He, F; Gao, XW; Wang, MF; Wang, BY; Zhang, LJ   |  收藏  |  浏览/下载：24/0  |  提交时间：2016/12/09 Compositional verification  probabilistic model checking  algorithmic learning   Multiphase until formulas over Markov reward models: An algebraic approach 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 611, 页码: 116-135 Xu, M; Zhang, LJ; Jansen, DN; Zhu, HB; Yang, ZY   |  收藏  |  浏览/下载：25/0  |  提交时间：2016/12/13 Probabilistic model checking  Markov reward model  Continuous stochastic logic  Cylindrical algebraic decomposition  Transcendental number