Mixed-Integer Representations for Mission Constraints in a Multi-Agent Team | IEEE Conference Publication | IEEE Xplore