Cooperative graph search by a system of autonomous agents | IEEE Conference Publication | IEEE Xplore