Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference
Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference
复制标题
使用基于逻辑的贝叶斯意图推理对移动机器人进行预测运行时监控
DOI：
10.1109/icra48506.2021.9561193
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Sankaranarayanan, Sriram
中科院分区：
文献类型：
--
作者：
Yoon, Hansol;Sankaranarayanan, Sriram
登录
查看更多内容
DOI：
--
发表时间：
2018
期刊：
Thirty-third Conference on Neural Information Processing Systems (NeurIPS
影响因子：
--
作者：
VazquezChanlatte, Marcell;Jha, Susmit;Tiwari, Ashish;Seshia, Sanjit
通讯作者：
Seshia, Sanjit
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
Marcell Vazquez;Ameesh Shah;Gil Lederman;S. Seshia
通讯作者：
S. Seshia
具有混合动力学和时间目标的运动规划
DOI：
--
发表时间：
2010
期刊：
IEEE Conference on Decision and Control
影响因子：
--
作者：
A. Bhatia;L. Kavraki;Moshe Y. Vardi
通讯作者：
Moshe Y. Vardi
影响因子：
9.2
作者：
Fridovich-Keil, David;Bajcsy, Andrea;Tomlin, Claire J.
通讯作者：
Tomlin, Claire J.
时间属性的层次结构
DOI：
10.1145/41840.41857
发表时间：
1987
期刊：
2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)
影响因子：
--
作者：
Z. Manna;A. Pnueli
通讯作者：
A. Pnueli