| 标题 |
 HyperProb: A Model Checker for Probabilistic Hyperproperties HyperProb：概率超性质的模型检验器
相关领域
计算机科学
概率逻辑
模型检查
概率CTL
理论计算机科学
马尔可夫决策过程
马尔可夫链
程序设计语言
算法
马尔可夫过程
算法的概率分析
人工智能
机器学习
数学
统计
|
| 网址 | |
| DOI | |
| 其它 |
期刊：Lecture Notes in Computer Science 作者：Oyendrila Dobe; Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour 出版日期：2021-01-01 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
SYLH
彭于彦祖
科研小民工
nozero
子凡
pluto
昏睡的蟠桃
cdercder
实验好难
vvA11
Bebeans
1+1
yanzu
HEIKU
夏来
xiaxiao
XL
Jino
一一
菠菜
皖公网安备34019202002308
