Model Checking of Recursive Probabilistic Systems

已完结

文献求助详情

标题	Model Checking of Recursive Probabilistic Systems 递归概率系统的模型检验相关领域递归（计算机科学）数学模型检查马尔可夫链 PSPACE 概率逻辑概率CTL 时间复杂性离散数学算法算法的概率分析计算复杂性理论统计
网址	https://doi.org/10.1145/2159531.2159534
DOI	10.1145/2159531.2159534 doi
其它	期刊：ACM Transactions on Computational Logic 作者：Kousha Etessami; Mihalis Yannakakis 出版日期：2012-04-01
求助人	RSU 在 2025-12-08 00:39:39 发布自广东，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

提交工单

该求助已完结，感谢关注

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

在科研通，轻松享有文献下载的自由

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

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

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

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

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

实时播报: 清脆的白凡完成签到，获得积分10

刚刚; LCX完成签到，获得积分10

2秒前; i羽翼深蓝i完成签到，获得积分0

4秒前; 111发布了新的文献求助10

5秒前; ding上传了应助文件

7秒前; 高分子完成签到，获得积分10

11秒前; 贪玩初彤完成签到，获得积分10

13秒前; 熊逸鸣发布了新的文献求助10

14秒前; tianyu完成签到，获得积分10

14秒前; 隔岸完成签到，获得积分10

15秒前; 可耐的月饼完成签到，获得积分10

16秒前; 沙莎完成签到，获得积分10

17秒前; 麦子完成签到，获得积分10

18秒前; 猩心完成签到，获得积分10

18秒前; qiqi完成签到，获得积分10

18秒前; 秋风上传了应助文件

19秒前; CipherSage上传了应助文件

23秒前; ph完成签到，获得积分10

24秒前; 感性的又菡完成签到，获得积分10

24秒前; 辛辛那提完成签到，获得积分10

27秒前; 深情的羞花完成签到，获得积分10

27秒前; latata发布了新的文献求助10

28秒前; 迷路又菱完成签到，获得积分10

29秒前; 曾经半青完成签到，获得积分10

32秒前; 妍宝贝完成签到，获得积分10

33秒前; 沉静的傲柏完成签到，获得积分10

33秒前; 桐桐上传了应助文件

34秒前; 周周周完成签到，获得积分10

36秒前; 四月完成签到，获得积分10

37秒前; sagitar的应助被科研通管家采纳，获得60

38秒前; Owen的应助被科研通管家采纳，获得30

38秒前; 小蘑菇的应助被科研通管家采纳，获得10

38秒前; 希望天下0贩的0的应助被科研通管家采纳，获得10

38秒前; 123发布了新的文献求助10

39秒前; KINGAZX完成签到，获得积分10

40秒前; 万能图书馆的应助被烽火采纳，获得10

44秒前; 超级玛丽完成签到，获得积分10

49秒前; 凤凰涅槃完成签到，获得积分10

49秒前; 米豆完成签到，获得积分10

50秒前; 热心不凡完成签到，获得积分10

52秒前