发布文献求助
已完结
  • 文献求助详情
标题
Probabilistic Model Checking and Autonomy
相关领域
概率逻辑 计算机科学 马尔可夫决策过程 模型检查 可见的 马尔可夫链 理论计算机科学 马尔可夫过程 人工智能 机器学习 数学 统计 物理 量子力学
网址
https://doi.org/10.1146/annurev-control-042820-010947
DOI
10.1146/annurev-control-042820-010947 doi
其它 期刊：Annual review of control, robotics, and autonomous systems
作者：Marta Kwiatkowska; Gethin Norman; David Parker
出版日期：2021-12-06
求助人
fcl990212 在 2023-01-05 00:11:13 发布自河南，悬赏 10 积分
下载 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
该求助已完结，感谢关注
如需该文献，请重新发布求助，前往发布
在科研通，轻松享有文献下载的自由
请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习
更新
大幅提高文件上传限制，最高150M (2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
丘比特的应助被碧蓝的迎南采纳，获得10
1秒前
LALALA完成签到，获得积分20
1秒前
AAA论文求过完成签到 ，获得积分10
2秒前
小程别放弃完成签到，获得积分10
3秒前
wfs发布了新的文献求助10
4秒前
SciGPT的应助被Antonia采纳，获得10
5秒前
NexusExplorer的应助被wenying采纳，获得10
6秒前
6秒前
陈家彭发布了新的文献求助10
6秒前
子车茗的应助被科研通管家采纳，获得30
6秒前
飘逸宛丝完成签到，获得积分10
6秒前
英俊的铭的应助被科研通管家采纳，获得10
6秒前
完美世界的应助被科研通管家采纳，获得10
6秒前
NexusExplorer的应助被科研通管家采纳，获得10
6秒前
深情安青的应助被科研通管家采纳，获得10
6秒前
6秒前
CodeCraft的应助被科研通管家采纳，获得10
6秒前
传奇3的应助被科研通管家采纳，获得10
6秒前
香蕉觅云的应助被科研通管家采纳，获得10
6秒前
一只饺子的应助被科研通管家采纳，获得30
6秒前
CodeCraft的应助被科研通管家采纳，获得10
7秒前
大模型的应助被科研通管家采纳，获得10
7秒前
7秒前
脑洞疼的应助被科研通管家采纳，获得10
7秒前
科研通AI2S的应助被科研通管家采纳，获得10
7秒前
pcr163的应助被科研通管家采纳，获得10
7秒前
科研临床两手抓完成签到 ，获得积分10
7秒前
najibveto的应助被科研通管家采纳，获得10
7秒前
科研通AI2S的应助被科研通管家采纳，获得10
7秒前
浮生的应助被科研通管家采纳，获得20
7秒前
烟花的应助被科研通管家采纳，获得10
7秒前
子车茗的应助被科研通管家采纳，获得10
7秒前
36456657的应助被科研通管家采纳，获得10
7秒前
田様的应助被科研通管家采纳，获得10
8秒前
8秒前
Owen的应助被科研通管家采纳，获得10
8秒前
桐桐的应助被科研通管家采纳，获得10
8秒前
8秒前
8秒前
8秒前
高分求助中
The late Devonian Standard Conodont Zonation 2000
Semiconductor Process Reliability in Practice 1500
歯科矯正学 第7版（或第5版） 1004
Nickel superalloy market size, share, growth, trends, and forecast 2023-2030 1000
Smart but Scattered: The Revolutionary Executive Skills Approach to Helping Kids Reach Their Potential (第二版) 1000
PraxisRatgeber: Mantiden: Faszinierende Lauerjäger 700
中国区域地质志-山东志 560
热门求助领域 （近24小时）
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号，转发送积分 3242078
求助须知：如何正确求助？哪些是违规求助？ 2886427
关于积分的说明 8243321
捐赠科研通 2555030
什么是DOI，文献DOI怎么找？ 1383201
科研通“疑难数据库（出版商）”最低求助积分说明 649672
邀请新用户注册赠送积分活动 625417
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通