CORC

在结果中检索

CORC

浏览/检索结果: 共11条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
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
收藏  |  浏览/下载：15/0  |  提交时间：2016/12/09
Generalized bisimulation metrics 会议论文
25th International Conference on Concurrency Theory, CONCUR 2014, Rome, Italy, September 2, 2014 - September 5, 2014
Chatzikokolakis, Konstantinos (1); Gebler, Daniel (3); Palamidessi, Catuscia (2); Xu, Lili (2)
收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16
IscasMc: A web-based probabilistic model checker 会议论文
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Hahn, Ernst Moritz (1); Li, Yi (2); Schewe, Sven (3); Turrini, Andrea (1); Zhang, Lijun (1)
收藏  |  浏览/下载：26/0  |  提交时间：2014/12/16
Model repair for Markov decision processes 会议论文
2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, Birmingham, United kingdom, July 1, 2013 - July 3, 2013
Chen, Taolue (1); Hahn, Ernst Moritz (1); Han, Tingting (1); Kwiatkowska, Marta (1); Qu, Hongyang (2); Zhang, Lijun (3)
收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16
compositional reasoning for markov decision processes 会议论文
4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, April 20, 2011 - April 22, 2011
Deng Yuxin; Hennessy Matthew
收藏  |  浏览/下载：16/0  |  提交时间：2013/09/22
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
收藏  |  浏览/下载：9/0  |  提交时间：2011/10/10
on the derandomization of the graph test for homomorphism over groups 会议论文
Tang Linqing
收藏  |  浏览/下载：9/0  |  提交时间：2011/10/10
characterising probabilistic processes logically 会议论文
17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, Yogyakarta, Indonesia, 40826
Deng Yuxin; Van Glabbeek Rob
收藏  |  浏览/下载：4/0  |  提交时间：2011/03/31
seer: trend-prediction-based geographic message forwarding in sparse vehicular networks 会议论文
2010 IEEE International Conference on Communications, ICC 2010, Cape Town, South africa, 43974
Li Liqun; Sun Limin
收藏  |  浏览/下载：14/0  |  提交时间：2011/03/31
achieving on-time delivery: a two-stage probabilistic scheduling strategy for software projects 会议论文
International Conference on Software Process, ICSP 2009, Vancouver, BC, Canada, 43967
Liu Xiao; Yang Yun; Chen Jinjun; Wang Qing; Li Mingshu
收藏  |  浏览/下载：5/0  |  提交时间：2011/03/20

©版权所有 ©2017 CSpace - Powered by CSpace