Extended LTLvis motion planning interface