LTL vehicle

Hengwen Zhangrequested to merge
feature-ltl-vehicle into master

This branch adds support for defining vehicle by a set of tasks, which are described in LTL syntax.

Merge request reports