Formal Methods for Autonomous Systems

Formal Methods for Autonomous Systems
复制标题

自治系统的形式化方法

DOI：
10.1561/2600000029
复制
发表时间：
2023
期刊：
Foundations and Trends® in Systems and Control
影响因子：
--
通讯作者：
Topcu, Ufuk
Topcu, Ufuk
中科院分区：
--
文献类型：
--
作者：
Wongpiromsarn, Tichakorn;Ghasemi, Mahsa;Cubuktepe, Murat;Bakirtzis, Georgios;Carr, Steven;Karabag, Mustafa O.;Neary, Cyrus;Gohari, Parham;Topcu, Ufuk

文献摘要

相似文献