Modeling an Autonomous Vehicle Group Control System as Hybrid Automata and its Specification and Verification in Rewriting Logic
Modeling an Autonomous Vehicle Group Control System as Hybrid Automata and its Specification and Verification in Rewriting Logic
复制标题
将自动驾驶车辆群控制系统建模为混合自动机及其重写逻辑的规范和验证
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Kazutoshi Sakakibara
中科院分区：
文献类型：
--
作者：
Yifan Wang;Masaki Nakamura;Kazutoshi Sakakibara
