GitHub repository: zetian/ltl_sampling
Primary language: C++
Created: 2017-08-30T21:38:24Z
Description: Sampling base path planning with LTL specifications for multi-vehicles