Safe Networked Robotics With Probabilistic Verification
Safe Networked Robotics With Probabilistic Verification
复制标题
具有概率验证的安全网络机器人
DOI：
10.1109/lra.2023.3340525
复制
发表时间：
2024
影响因子：
5.2
通讯作者：
Chinchali, Sandeep P.
中科院分区：
文献类型：
--
作者：
Narasimhan, Sai Shankar;Bhat, Sharachchandra;Chinchali, Sandeep P.
登录
查看更多内容
DOI：
10.15607/rss.2020.xvi.088
发表时间：
2020-04
期刊：
ArXiv
影响因子：
--
作者：
Jason J. Choi;F. Castañeda;C. Tomlin;K. Sreenath
通讯作者：
Jason J. Choi;F. Castañeda;C. Tomlin;K. Sreenath
DOI：
10.1109/icra.2019.8793690
发表时间：
2019-03
期刊：
2019 International Conference on Robotics and Automation (ICRA)
影响因子：
--
作者：
A. Tanwani;Nitesh Mor;J. Kubiatowicz;Joseph E. Gonzalez;Ken Goldberg
通讯作者：
A. Tanwani;Nitesh Mor;J. Kubiatowicz;Joseph E. Gonzalez;Ken Goldberg
强化学习期间时序逻辑约束的概率保证满足
DOI：
--
发表时间：
2021
期刊：
IEEE/RJS International Conference on Intelligent RObots and Systems
影响因子：
--
作者：
Derya Aksaray;Yasin Yazıcıoğlu;Ahmet Semi Asarkaya
通讯作者：
Ahmet Semi Asarkaya
DOI：
10.1609/aaai.v36i7.20690
发表时间：
2020-12
期刊：
--
影响因子：
--
作者：
Tal Lancewicki;Aviv A. Rosenberg;Y. Mansour
通讯作者：
Tal Lancewicki;Aviv A. Rosenberg;Y. Mansour
DOI：
10.1007/978-3-030-61362-4_16
发表时间：
2020
期刊：
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability
影响因子：
--
作者：
Bettina Könighofer;Florian Lorber;N. Jansen;R. Bloem
通讯作者：
R. Bloem