| 标题 |
 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 |
| 求助人 | |
| 下载 | 求助已完成，仅限求助人下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
浮游
鸣笛
蓝天
不想干活
pluto
小乐
jenningseastera
pcr163
子车茗
小青椒
遇上就这样吧
馆长
lxyy
归尘
七月流火
iNk
带头大哥
GingerF
eric888
8R60d8
皖公网安备34019202002308
