Path planning with probabilistic roadmaps and co-safe linear temporal logic | IEEE Conference Publication | IEEE Xplore