Automatic encoding and repair of reactive high-level tasks with learned abstract representations
We present a framework for the automatic encoding and repair of high-level tasks. Given a set of skills a robot can perform, our approach first abstracts sensor data into symbols and then automatically encodes the robot’s capabilities in Linear Temporal Logic (LTL). Using this encoding, a user can s...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
SAGE Publications Inc.
2023
|
| Subjects: | |
| Online Access: | View Fulltext in Publisher View in Scopus |