Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments

GROVER, Kush; Fernando S BARBOSA; Jana TŮMOVÁ a Jan KŘETÍNSKÝ. Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments. In Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021. 2021, s. 1-8. ISBN 9780992374778. Dostupné z: https://doi.org/10.15607/RSS.2021.XVII.090.

Základní údaje

Originální název

Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments

Autoři

GROVER, Kush; Fernando S BARBOSA; Jana TŮMOVÁ a Jan KŘETÍNSKÝ

Vydání

Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021. od s. 1-8, 8 s. 2021

---

Další údaje

Typ výsledku

Stať ve sborníku

Označené pro přenos do RIV

Ne

Organizační jednotka

Fakulta informatiky

ISBN

9780992374778

ISSN

DOI

https://doi.org/10.15607/RSS.2021.XVII.090

---

Anotace

V originále

Complex mission specifications can be often specified through temporal logics, such as Linear Temporal Logic and its syntactically co-safe fragment, scLTL. Finding trajectories that satisfy such specifications becomes hard if the robot is to fulfil the mission in an initially unknown environment, where neither locations of regions or objects of interest in the environment nor the obstacle space are known a priori. We propose an algorithm that, while exploring the environment, learns important semantic dependencies in the form of a semantic abstraction, and uses it to bias the growth of an Rapidly-exploring random graph towards faster mission completion. Our approach leads to finding trajectories that are much shorter than those found by the sequential approach, which first explores and then plans. Simulations comparing our solution to the sequential approach, carried out in 100 randomized office-like environments, show more than 50% reduction in the trajectory length.