Efficient algorithms for safety guiding mobile robots through spaces populated by humans and mobile intelligent machines