SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
Enabling Behaviour Tree Verification via a Translation to BIP
计算机科学
翻译（生物学）
树（集合论）
程序设计语言
人工智能
理论计算机科学
化学
数学
生物化学
基因
信使核糖核酸
数学分析
作者
Qiang Wang,
Huadong Dai,
Yongxin Zhao,
Min Zhang,
Simon Bliudze
出处
期刊：
Lecture Notes in Computer Science
[Springer Science+Business Media]
日期：2024-01-01
卷期号：: 3-20
链接
hal.science
doi.org
标识
DOI：10.1007/978-3-031-71261-6_1
求助该文献
最长约 10秒，即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
⚡
2026年影响因子、分区
已更新！
(2026-6-17)
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
所所
的
应助
被
科研通管家
采纳，获得
10
1秒前
zhongyu
发布了新的
文献求助
30
1秒前
英姑
的
应助
被
科研通管家
采纳，获得
10
1秒前
希望天下0贩的0
的
应助
被
科研通管家
采纳，获得
10
1秒前
情怀
的
应助
被
科研通管家
采纳，获得
10
1秒前
香蕉觅云
的
应助
被
科研通管家
采纳，获得
10
1秒前
FashionBoy
的
应助
被
科研通管家
采纳，获得
10
1秒前
情怀
的
应助
被
科研通管家
采纳，获得
10
1秒前
进击的咸鱼
发布了新的
文献求助
10
1秒前
大神瓜
完成签到，获得积分
10
1秒前
我小怂怂006
发布了新的
文献求助
10
1秒前
科研通管家
关闭了
omg
的
文献求助
2秒前
科研通管家
关闭了
呵呵
的
文献求助
2秒前
pariscxl
发布了新的
文献求助
10
2秒前
科研通AI6.4
上传了
应助文件
2秒前
Owen
的
应助
被
小妞
采纳，获得
100
2秒前
tianzhanggong
发布了新的
文献求助
10
2秒前
偷走故事的人
的
应助
被
He08
采纳，获得
10
3秒前
Akim
的
应助
被
He08
采纳，获得
10
4秒前
初景
上传了
应助文件
4秒前
小寒同学
发布了新的
文献求助
20
4秒前
清爽的柚子
完成签到，获得积分
10
4秒前
黎黎
发布了新的
文献求助
10
4秒前
667
发布了新的
文献求助
10
4秒前
科研通AI2S
上传了
应助文件
5秒前
研友_nvGy2Z
发布了新的
文献求助
10
5秒前
豆花浮元子
发布了新的
文献求助
10
6秒前
帅气的香之
完成签到，获得积分
10
6秒前
酸奶山茶柚
完成签到，获得积分
10
6秒前
爆米花
的
应助
被
Cristol
采纳，获得
10
7秒前
赘婿
的
应助
被
always
采纳，获得
10
7秒前
张汉三
完成签到，获得积分
10
8秒前
22222
关注了科研通微信公众号
8秒前
慕青
的
应助
被
wzg666
采纳，获得
10
9秒前
果果CY
完成签到，获得积分
10
11秒前
zhongyu
完成签到，获得积分
20
11秒前
李健的小迷弟
上传了
应助文件
11秒前
Ming
发布了新的
文献求助
10
11秒前
jiji
发布了新的
文献求助
10
12秒前
科目三
的
应助
被
林蜜
采纳，获得
10
12秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
Aspects of Post-SPE Phonology
2000
Nanocomposite Removal of Pesticides from Wastewater
1000
Practical Manual of Forensic Psychophysiology: Methodology, Execution, and Fields of Application
800
Rosenblum, Global Change Biology
800
Final Report for the 2-D Test of Model 901 Rotor and Wing Airfoils (BSWT 592)
528
Berberine regulates the TLR4 signaling pathway to suppress hypoxia-induced proliferation and migration of pulmonary arterial smooth muscle cells
520
热门求助领域
（近24小时）
化学
材料科学
医学
生物
计算机科学
工程类
纳米技术
有机化学
物理
生物化学
化学工程
内科学
复合材料
催化作用
心理学
人工智能
细胞生物学
光电子学
无机化学
量子力学
热门帖子
关注
科研通微信公众号，转发送积分
7905033
求助须知：如何正确求助？哪些是违规求助？
9410430
关于积分的说明
20888651
捐赠科研通
7506591
什么是DOI，文献DOI怎么找？
3361475
关于科研通互助平台的介绍
2499604
邀请新用户注册赠送积分活动
2391634
今日热心研友
invisight
276
3530
Yinxb
135
2090
DW
147
1820
蓝天
153
1260
aajhajkahna
175
930
aaaa
81
1695
林狗
79
1640
xing_xing
83
1560
科研狗
49
1730
璐璐
2130
pluto
49
1410
123
55
1200
秦艽
1660
嘻嘻哈哈
42
1220
七听
1500
123
38
1060
猖狂战神
64
800
学术文献互助
1250
OK
1050
QM
102
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
(2025-6-4)
invisight
Yinxb
DW
蓝天
aajhajkahna
aaaa
林狗
xing_xing
科研狗
璐璐
pluto
123
秦艽
嘻嘻哈哈
七听
123
猖狂战神
学术文献互助
OK
QM
皖公网安备34019202002308
