Motion-planning with global temporal logic specifications for multiple nonholonomic robotic vehicles | IEEE Conference Publication | IEEE Xplore