Coordinated navigation of multi-robot systems with binary constraints | IEEE Conference Publication | IEEE Xplore