QQ客服 官方微博 反馈留言

浏览/检索结果: 共9条，第1-9条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes 期刊论文 ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2016, 卷号: 25, 期号: 3 He, F; Gao, XW; Wang, MF; Wang, BY; Zhang, LJ 收藏  |  浏览/下载：13/0  |  提交时间：2016/12/09 Compositional verification  probabilistic model checking  algorithmic learning   Multiphase until formulas over Markov reward models: An algebraic approach 期刊论文 THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 611, 页码: 116-135 Xu, M; Zhang, LJ; Jansen, DN; Zhu, HB; Yang, ZY 收藏  |  浏览/下载：12/0  |  提交时间：2016/12/13 Probabilistic model checking  Markov reward model  Continuous stochastic logic  Cylindrical algebraic decomposition  Transcendental number   连续时间马尔科夫链模型上的模型检测算法研究与工具实现 学位论文 硕士, 北京: 中国科学院大学, 2013 高杨 收藏  |  浏览/下载：22/0  |  提交时间：2013/05/31 模型检测  连续时间马尔科夫链  形式化  概率模型检测工具   model checking conditional csl for continuous-time markov chains 期刊论文 Information Processing Letters, 2013, 卷号: 113, 期号: 1-2, 页码: 44-50 Gao Yang; Xu Ming; Zhan Naijun; Zhang Lijun 收藏  |  浏览/下载：16/0  |  提交时间：2013/09/17 Automata theory  Formal methods  Stochastic systems   BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA 期刊论文 LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 卷号: 9, 期号: 2 Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming 收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16 PCTL  Probabilistic automata  Characterization  Bisimulation   Incremental bisimulation abstraction refinement 会议论文 2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, July 8, 2013 - July 10, 2013 Song, Lei (1); Zhang, Lijun (2); Hermanns, Holger (1); Godskesen, Jens Chr. (3) 收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16 Algorithms  Experimentation  Verification  Bisimulation  CEGAR  probabilistic automata   基于概率模型检测的Web服务组合验证 期刊论文 计算机科学, 2012, 卷号: 39, 期号: 1, 页码: 120-123 王晶; 戎玫; 张广泉; 祝义 收藏  |  浏览/下载：6/0  |  提交时间：2012/11/12 a probabilistic variant of projection temporal logic 会议论文 Recent Advances in Computer Science and Information Engineering Volume 3, Changchun, China, June 17, 2011 - June 19, 2011 Yang Xiaoxiao 收藏  |  浏览/下载：5/0  |  提交时间：2013/09/22 Computer science  Model checking   probabilistic model checking on propositional projection temporal logic 会议论文 International MultiConference of Engineers and Computer Scientists 2011, IMECS 2011, Kowloon, Hong kong, March 16, Yang Xiaoxiao 收藏  |  浏览/下载：8/0  |  提交时间：2011/10/10 Algorithms  Computer hardware  Computer science  Engineers  Markov processes  Probabilistic logics  Temporal logic