A linear temporal logic based approach for vehicle motion planning

Dule Shu, Constantino M. Lagoa. A linear temporal logic based approach for vehicle motion planning. In IEEE International Conference on Mechatronics, ICM 2017, Churchill, Australia, February 13-15, 2017. pages 25-30, IEEE, 2017. [doi]

Abstract

Abstract is missing.