Multi-Robot Traffic Management using MIP Path Negotiation Scheduler | IEEE Conference Publication | IEEE Xplore