Temporal logic robot mission planning for slow and fast actions | IEEE Conference Publication | IEEE Xplore