登录
免费注册
首页
论文
论文详情
赞
收藏
引用
分享
科研之友
微信
新浪微博
Facebook
分享链接
A simple probabilistic extension of modal Mu-calculus
作者:Liu Wanwei; Song Lei; Wang Ji; Zhang Lijun
*
来源:
24th International Joint Conference on Artificial Intelligence, IJCAI 2015
, 2015-07-25 to 2015-07-31.
Concurrency theory
Modal mu calculus
Model checking problem
Probabilistic extension
Probabilistic properties
Probabilistic systems
Satisfiability checking
Satisfiability problems
出版日期
2015
单位
中国科学院
全文
全文
访问全文
相似论文
引用论文
参考文献