From 363ddb6369d017e646aac808c463ee8bd6575365 Mon Sep 17 00:00:00 2001 From: ll7 Date: Wed, 27 Mar 2024 14:09:37 +0100 Subject: [PATCH] Update map selection to choose randomly from map pool --- robot_sf/gym_env/robot_env.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/robot_sf/gym_env/robot_env.py b/robot_sf/gym_env/robot_env.py index 54cb561..822f631 100644 --- a/robot_sf/gym_env/robot_env.py +++ b/robot_sf/gym_env/robot_env.py @@ -62,7 +62,7 @@ def __init__( self.env_config = env_config # Extract first map definition; currently only supports using the first map - map_def = env_config.map_pool.map_defs["uni_campus_big"] + map_def = env_config.map_pool.choose_random_map() # Initialize spaces based on the environment configuration and map self.action_space, self.observation_space, orig_obs_space = \