A three-valued model abstraction framework for PCTL* stochastic model checking

已完结

文献求助详情

系统提示

该求助疑似为摘要（如会议摘要，并非全文），为了快速得到需要的文献，建议求助人检查核实。查看帮助

提醒：由于doi是数字文件的唯一标识，应助人将优先使用doi进行应助

标题	A three-valued model abstraction framework for PCTL* stochastic model checking PCTL*随机模型检验的三值模型抽象框架相关领域模型检查概率CTL 计算机科学概率逻辑抽象模型检查概率自动机计算树逻辑理论计算机科学概率相关模型谓词抽象二元决策图不确定性算法抽象算法人工智能算法的概率分析哲学认识论
网址	https://link.springer.com/article/10.1007/s10515-022-00327-z
DOI	10.1007/s10515-022-00327-z doi
求助人	朴实嵩在 2024-09-27 17:14:39 发布自天津，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

科研通，让源源不断科研创作灵感的涌现之地

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

2024年影响因子查询已上线 (2024-6-20)

更新

大幅提高文件上传限制，最高150M (2024-4-1)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: waresi完成签到，获得积分20

6秒前; 研友_8y2G0L完成签到，获得积分10

9秒前; zhang20082418完成签到，获得积分10

13秒前; 陈M雯完成签到，获得积分10

17秒前; waresi发布了新的文献求助30

19秒前; 别具一格完成签到，获得积分10

21秒前; 隐形曼青上传了应助文件

27秒前; 北笙完成签到，获得积分10

29秒前; 水沝完成签到，获得积分10

31秒前; zsl发布了新的文献求助10

33秒前; 万能图书馆的应助被锕话采纳，获得10

50秒前; 赘婿的应助被大小罐子采纳，获得10

57秒前; Singularity上传了应助文件

1分钟前; 温柔觅松完成签到，获得积分10

1分钟前; 斯文的傲珊完成签到，获得积分10

1分钟前; ke完成签到，获得积分10

1分钟前; 文献搬运工完成签到，获得积分10

1分钟前; kanong完成签到，获得积分0

1分钟前; Singularity上传了应助文件

2分钟前; Singularity上传了应助文件

2分钟前; 大华完成签到，获得积分10

2分钟前; wanci的应助被ybwei2008_163采纳，获得10

2分钟前; sjl完成签到，获得积分10

2分钟前; sjl关注了科研通微信公众号

2分钟前; Singularity的应助被郑麻采纳，获得50

2分钟前; 风趣的冬卉完成签到，获得积分10

2分钟前; 李爱国的应助被ybwei2008_163采纳，获得10

2分钟前; wenhuanwenxian完成签到，获得积分10

2分钟前; spring完成签到，获得积分10

2分钟前; ding的应助被sjl采纳，获得10

2分钟前; wanci上传了应助文件

2分钟前; ybwei2008_163发布了新的文献求助10

3分钟前; home完成签到，获得积分10

3分钟前; 宇文非笑完成签到，获得积分10

3分钟前; Dingz完成签到，获得积分10

3分钟前; 顺利如冰完成签到，获得积分10

3分钟前; 李爱国上传了应助文件

3分钟前; ybwei2008_163发布了新的文献求助10

3分钟前; Singularity上传了应助文件

3分钟前; 没用的三轮完成签到，获得积分10

3分钟前