Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach

Gregorio Marchesini, Siyuan Liu, Lars Lindemann +1

We propose a variant of the Rapidly Exploring Random Tree Star (RRT${}^{\star }$) algorithm to synthesize trajectories satisfying a given spatio-temporal specification expressed in a…