Multi-robot path planning for syntactically co-safe LTL specifications | IEEE Conference Publication | IEEE Xplore