Theory and implementation of path planning by negotiation for decentralized agents