Synthesis of Provably Correct Autonomy Protocols for Shared Control
Synthesis of Provably Correct Autonomy Protocols for Shared Control
复制标题
综合可证明正确的共享控制自主协议
DOI：
10.1109/tac.2020.3018029
复制
发表时间：
2020
影响因子：
6.8
通讯作者：
Topcu, Ufuk
中科院分区：
文献类型：
--
作者：
Cubuktepe, Murat;Jansen, Nils;Alshiekh, Mohammed;Topcu, Ufuk
登录
查看更多内容
具有时间逻辑规范的共享自治策略的综合
DOI：
10.1109/tase.2015.2499164
发表时间：
2016
影响因子：
5.6
作者：
Jie Fu;U. Topcu
通讯作者：
U. Topcu
具有可证明的安全性和性能保证的共享控制协议的综合
DOI：
--
发表时间：
2016
期刊：
American Control Conference
影响因子：
--
作者：
N. Jansen;Murat Cubuktepe;U. Topcu
通讯作者：
U. Topcu
DOI：
10.1109/ramech.2004.1438902
发表时间：
2004-12
期刊：
IEEE Conference on Robotics, Automation and Mechatronics, 2004.
影响因子：
--
作者：
Jian Shen;J. Guzman;T. Ng;B. S. Chew
通讯作者：
Jian Shen;J. Guzman;T. Ng;B. S. Chew
离散时间马尔可夫链验证中的扰动分析
DOI：
--
发表时间：
2014
期刊：
International Conference on Concurrency Theory
影响因子：
--
作者：
Taolue Chen;Yuan Feng;David S. Rosenblum;Guoxin Su
通讯作者：
Guoxin Su