A graphical language for LTL motion and mission planning | IEEE Conference Publication | IEEE Xplore