Human-Robot Collaborative Minimum Time Search through Sub-priors in Ant Colony Optimization