| 标题 |
 A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic 具有线性时态逻辑的行为树形式化验证框架
相关领域
线性时序逻辑
正确性
可重用性
模块化（生物学）
构造（python库）
计算机科学
时态逻辑
计算树逻辑
灵活性（工程）
理论计算机科学
过程（计算）
算法
形式验证
树（集合论）
程序设计语言
人工智能
数学
软件
数学分析
统计
生物
遗传学
|
| 网址 | |
| DOI | |
| 其它 |
期刊：IEEE Robotics and Automation Letters 作者：Oliver Biggar; Mohammad Zamani 出版日期：2020-01-31 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)
无极微光
Criminology34
smottom
HOAN
Jared
熬夜波比
子车茗
Twonej
asdfzxcv
zgrmws
wanci
香蕉诗蕊
在这无人的城堡肆无忌惮的奔跑
热心的灵凡
彭于彦祖
yznfly
猪猪侠
Tanya47
寻道图强
犹豫的行恶
spc68
eric888
tuanheqi
壮壮
皖公网安备34019202002308
