Negotiation protocol for proof of realization of cooperative task in multi-agent robot systems | IEEE Conference Publication | IEEE Xplore