Added: five_robots_random_navigation.cc