32 citations · 88 across the 33 of their papers we have counts for
1 paper · 1 filter
Cristian Ioan Vasile, Calin Belta
In this paper, we propose a sampling-based motion planning algorithm that finds an infinite path satisfying a Linear Temporal Logic (LTL) formula over a set of properties satisfied…