Human-Robot Collaborative Minimum Time Search Through Sub-Priors in Ant Colony Optimization | Publicación