Deadlock free dynamic resource assignment in multi-robot systems with multiple missions: a matrix-based approach | IEEE Conference Publication | IEEE Xplore