Human-Robot Collaborative Minimum Time Search Through Sub-Priors in Ant Colony Optimization | IEEE Journals & Magazine | IEEE Xplore