.png){kind=icon}
返回
Learning Linear Temporal Properties for Autonomous Robotic Systems
.png){kind=icon}
OA
AI
DOI：10.1109/LRA.2023.3263368.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The problem of passive learning of linear temporal logic formulae consists in finding the best explanation for how two sets of execution traces differ, in the form of the shortest formula that separates the two sets. We approach the problem by implementing an exhaustive search algorithm optimized for execution speed. We apply it to the use-case of a robot moving in an unstructured environment as its battery discharges, both in simulation and in the real world. The results of our experiments confirm that our approach can learn temporal formulas explaining task failures in a case of practical interest.
Keyword:
Robots
Task analysis
Skeleton
Syntactics
Search problems
Reactive power
Cost accounting
Formal methods in robotics and automation
autonomous agents
failure detection and recovery
期刊
I
IF:
5.3
论文数:
1.9K
被引数:
3.9W
机构
引用论文
Learning temporal logic formulas from suboptimal demonstrations: theory and experiments.png)
AUTONOMOUS ROBOTS
AUTONOMOUS ROBOTSIF4.3
PREAI
分享收藏
查看更多内容