A graphical language for LTL motion and mission planning