Designing Reactive Robot Controllers with LTLMoP