| 标题 |
  Formal Synthesis of Safe Stop Tactical Planners for an Automated Vehicle 自动车辆安全停车战术规划器的形式化综合
相关领域
正确性
规划师
通知
计算机科学
数学证明
形式化方法
主动安全
控制（管理）
风险分析（工程）
事件（粒子物理）
形式验证
可靠性工程
工程类
软件工程
汽车工程
人工智能
程序设计语言
物理
法学
几何学
医学
量子力学
数学
政治学
|
| 网址 | |
| DOI | |
| 其它 |
期刊：IFAC-PapersOnLine 作者：Jonas Krook; Roozbeh Kianfar; Martin Fabian 出版日期：2020-01-01 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)
无极微光
DW
Nole
xing_xing
秋风
cdercder
学术文献互助
我能私信骂你吗
渡人舟
Lo
OK
Enigma_GEB
aaaa
修仙中
初景
donk
aajhajkahna
Criminology34
牧青
科研狗
皖公网安备34019202002308
