Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies

已完结

文献求助详情

标题	Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies
网址	http://xplorestaging.ieee.org/ielx7/9635848/9635849/09636129...
DOI	10.1109/iros51168.2021.9636129 doi
其它	期刊：2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 作者：Michele Colledanchise; Giuseppe Cicala; Daniele E. Domenichelli; Lorenzo Natale; Armando Tacchella 出版日期：2021-12-17
求助人	Ttsn 在 2026-02-05 16:22:13 发布自中国，悬赏 20 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。

上个求助

下个求助

提交工单

该求助已完结，感谢关注

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

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

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

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

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

更新

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

更新

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

新增

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

新增

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

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

实时播报: 老实的从雪发布了新的文献求助10

1秒前; 源源发布了新的文献求助10

1秒前; xizhou发布了新的文献求助10

1秒前; 李健的粉丝团团长上传了应助文件

2秒前; 正直的西牛发布了新的文献求助10

2秒前; 火花完成签到，获得积分10

2秒前; 可爱的函函的应助被ler0100采纳，获得10

2秒前; 霸气南珍发布了新的文献求助30

2秒前; 传奇3上传了应助文件

2秒前; jx完成签到，获得积分10

3秒前; 希望天下0贩的0的应助被Anonyme采纳，获得10

4秒前; 科目三上传了应助文件

4秒前; whisper的应助被郝靖儿采纳，获得10

4秒前; 矜持完成签到，获得积分10

4秒前; 顺利乌冬面完成签到，获得积分10

5秒前; 野性的尔琴完成签到，获得积分10

5秒前; 自信逊完成签到，获得积分10

5秒前; 思源的应助被行知采纳，获得10

6秒前; jx发布了新的文献求助10

6秒前; 积极纲发布了新的文献求助10

6秒前; 在水一方的应助被霸气南珍采纳，获得10

6秒前; bkagyin上传了应助文件

6秒前; 祥子的骆驼发布了新的文献求助10

6秒前; 123完成签到，获得积分10

6秒前; tao_blue发布了新的文献求助10

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

7秒前; 脑洞疼上传了应助文件

7秒前; Akim上传了应助文件

8秒前; 领导范儿上传了应助文件

9秒前; Fengziiq发布了新的文献求助10

9秒前; 苏木发布了新的文献求助10

10秒前; 科研通AI6.2的应助被耍酷元容采纳，获得10

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

11秒前; wanci的应助被jy采纳，获得10

11秒前; 袁宁蔓发布了新的文献求助10

11秒前; xixi完成签到，获得积分10

12秒前; 听听歌完成签到，获得积分20

12秒前; IM完成签到，获得积分10

13秒前; yx发布了新的文献求助10

13秒前; Gt完成签到，获得积分10

14秒前