announcing region-pairs
resolve merge
Merge branch 'local_planner' of https://github.com/jadecastro/LTLMoP into local_planner