Published October 4, 2023
| Version v1
Journal article
Open
Learning Linear Temporal Properties for Autonomous Robotic Systems
Creators
- 1. Istituto Italiano di Tecnologia
- 2. Università degli Studi di Genova
Description
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.
Files
Learning_Linear_Temporal_Properties_for_Autonomous_Robotic_Systems.pdf
Files
(510.4 kB)
Name | Size | Download all |
---|---|---|
md5:37bd3b3cec919cb4e635d2ddc4ad2f98
|
510.4 kB | Preview Download |