| 标题 |
 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)
cdercder
Kao
GingerF
无极微光
OK
囧囧
Criminology34
修仙中
渡人舟
lyx_uoryit
学术文献互助
无奈的梦凡
arniu2008
6666
Nole
馨馨的科科
哈哈鬼
LaTeXer
立志干到博士退休
wwww
皖公网安备34019202002308
