hyphi_gym hyphi gym#

Robustness Gymnasium Benchmark Suite#

Website GitHub Release PyPI - Version

Gym-0.29 based compilation of benchmark environmens for various discrete action and observation spaces including different tasks.

Installation:

# From pypi
pip install hyphi-gym

# or, from source
git clone https://github.com/philippaltmann/hyphi-gym.git
pip install -e '.[all]'

Holey Grid#

To specifically assess the robustness to distributional shift, we offer the following static layouts:

HoleyGrid

HoleyGridShift

HoleyGrid

HoleyGridShift

Additionally, the following generated opions are supported:

HoleyGrid7HoleyGrid7

HoleyGrid9HoleyGrid9

HoleyGrid11HoleyGrid11

HoleyGrid13HoleyGrid13

HoleyGrid15HoleyGrid15

HoleyGrids7HoleyGrids7

HoleyGrids9HoleyGrids9

HoleyGrids11HoleyGrids11

HoleyGrids13HoleyGrids13

HoleyGrids15HoleyGrids15

All generated layouts are ensured to have a valid solution path of lenght \(n+m-6\) for \(n \times m\) grids.

Goal: Navigate to the target state whilst avoiding unsafe states (holes). Episodes are terminated upon reaching the maximum of 100 steps, visiting an unsafe area, or reaching the target, yielding the termination reasons TIME, FAIL, and GOAL respectively.

Action Space: \(\mathcal{A}\in\{Up,Right,Down,Left\}\)

Observation Space: fully observable discrete observation of the \(7\times9\) grid with all cells \(\in \{A,F,G,H,W\}\) encoded as integers.

Particularities: This environment poses a safety challenge, where holes represent risk to be avoided. Additionally, the polices’ robustness to distributional shift can be assesed by evaluating either with a shifted goal, or shifted holes.

Origin: This environment is inspried by the AI Safety Gridworlds [Paper] [Code].

Holey Plane#

HoleyPlane

HoleyPlaneShift

HoleyPlanes

HoleyPlane

HoleyPlaneShift

 HoleyPlanes

Goal: Navigate to the target state whilst avoiding unsafe states (holes). Episodes are terminated upon reaching the maximum of 400 steps, visiting an unsafe area, or reaching the target, yielding the termination reasons TIME, FAIL, and GOAL respectively.

Action Space: 2-dimensional continuous action \(\in [-1;1]\) applying force to the point in x- and y-direction.

Observation Space: 8-dimensional continuous observation containing the current position and velocity of the point as well as the distance vector to the target state and the closest hole.

Particularities: This environment yields simliar safety challenges as the HoleyGrid introduced above. Also, it alows for evaluation of robustness to distributional shifts.

Origin: This environment is inspried by the AI Safety Gridworlds [Paper] [Code], and control from D4RL [Paper] [Code].

GridMaze#

Maze7Maze7

Maze9Maze9

Maze11Maze11

Maze13Maze13

Maze15Maze15

Mazes7Mazes7

Mazes9Mazes9

Mazes11Mazes11

Mazes13Mazes13

Mazes15Mazes15

Goal: Navigate the maze to reach the target within 100 steps (200 for Maze15).

Action Space: \(\mathcal{A}\in\{Up,Right,Down,Left\}\)

Observation Space: fully observable discrete observation of the variable-sized grid with all cells \(\in \{A,F,G,W\}\) encoded as integers.

Reward structure: Each step is rewarded \(-1\) to foster the shortest path. Reaching the target terminates the episode and is rewarded \(50\). All episodes are temrinated after 100 steps ressulting in two termination reasons: GOAL, TIME. The reward is either distributed in a dense fashion after every step, or sparse upon episode termination. Reward ranges are updated according to the current layout.

Particularities: This environment poses a generalization challenge, where a policy’s robustness to changing layouts and positions can be evaluated in various scenarios. In a broader sense, different layouts may also be considered multiple tasks.

Origin: This environment is inspried by the Procgen Benchmark [Paper] [Code]

PointMaze#

Maze7Maze7

Maze9Maze9

Maze11Maze11

Maze13Maze13

Maze15Maze15

Mazes7Mazes7

Mazes9Mazes9

Mazes11Mazes11

Mazes13Mazes13

Mazes15Mazes15

Goal: Navigate the maze to reach the target within 200, 400, 600, 900, 1200 steps resprectively.

Action Space: 2-dimensional continuous action \(\in [-1;1]\) applying force to the point in x- and y-direction.

Observation Space: 6-dimensional continuous observation containing the current position and velocity of the point as well as the distance vector to the target state.

Particularities: This environment yields simliar challenges as the GridMaze introduced above. However, in contrast, the agent does not observe the full state of the environment, but only a sparse representation of its own position and velocity.

Origin: This environment is inspried by the Procgen Benchmark [Paper] [Code], and control from D4RL [Paper] [Code].

Flat Grid#

Base Grid Environment without obstacles and holes:

FlatGrid7FlatGrid7

FlatGrid9FlatGrid9

FlatGrid11FlatGrid11

FlatGrid13FlatGrid13

FlatGrid15FlatGrid15

Goal: Navigate the grid to reach the target within 100 steps.

Action Space: \(\mathcal{A}\in\{Up,Right,Down,Left\}\)

Observation Space: fully observable discrete observation of the variable-sized grid with all cells \(\in \{A,F,G,W\}\) encoded as integers.

Reward structure: Each step is rewarded \(-1\) to foster the shortest path. Reaching the target terminates the episode and is rewarded \(50\). All episodes are temrinated after 100 steps ressulting in two termination reasons: GOAL, TIME. The reward is either distributed in a dense fashion after every step, or sparse upon episode termination. Reward ranges are updated according to the current layout.

Fetch#

FetchReach

FechtSlide

FetchPlace

FetchReach

tbd

tbd

Goal: Control the 7-DoF Fetch Mobile Manipulator robot arm to reach the target by moving the gripper, sliding the object, or picking and placing the object within 100, 200 and 400 steps respectively.

Action Space: 4-dimensional continuous action \(\in [-1;1]\) controlling the arm displacement in x-, y-, and z-direction as well as the gripper position. In its default configuration, the arm is not reset upon reaching a target and the target is randomly respawned.

Observation Space: 13-dimensional continuous observation containing the current position and velocity of the arm, the gripper as well as the position of the target state.

Particularities: In combination with the binary reward defined below, this environment yields a sparse exploration challenge. Furthmore it allows for benchmarking the multi-task performance of policies, with further tasks to be added in future versions.

Origin: This environment is inspried by the Metaworld Benchmark [Paper] [Code], based on this paper, and the Gymnasium Robotics collection [Code].

Reward Structure#

All tasks and environments use joint rewards comprising various objectives inherent with the intended task: All reward shares as well as the final mixture can be adapted.

By default, the reward is comprised of the following discrete reward particles scaled by the maximum steps possible per episode (max_steps):

  • Reach the target state (GOAL = 0.5 * max_steps)

  • Avoid unsafe areas (FAIL = -0.5 * max_steps)

  • Take as few steps as possible (STEP = -1)

To offer varying levels of challenging reward signals, we provide the following mixtures out of the box:

Dense#

By default the reward is defined as: $\( r_t= \begin{cases} \mathtt{GOAL} & \quad \text{when } |A-T| \leq \Delta_T\\ \mathtt{FAIL} & \quad \text{when } |A-H| == 0\\ \mathtt{STEP} & \quad \text{otherwise} \end{cases} \)\( where \)|\cdot|\( denotes the distance of the agent \)A\( to either the traget \)T\( or an unsafe area \)H\(, and \)\Delta_T$ denotes the threshold distance to the target state (especialy for the continuous environments).

Sparse#

Furthermore, all variations offer a sparse reward option, where the return is comunicated to the agent only upon episode termination:

\[\begin{split} r_t= \begin{cases} \sum_{i=0}^t r_i & \quad \text{when t is terminal} \\ 0 & \quad \text{otherwise} \end{cases} \end{split}\]

This resembles a more realistic feedback situation and yields an even harder exploration challenge.

Detailed#

Furthermore, the following intermediate reward can be constantly supplied to the agent to reduce the challenge of exploration:

\[ r_t=e^{-\|agent-target\|_2} \]

Defined by the L2 norm of the current absolute distance between the agent and the target, this detailed reward reflects movement towards the target.

Random Variations#

All environments comprise further random variations for both the agent’s start- and the target-position. In line with the maze naming convention, a singular keyword confirms to an initial random position, permagent over environment resets, where a plural keyword causes deterministic positioning on every reset. Thus, the following variations may be used within the random list:

  • Agent: Initial position randomized once upon environment creation

  • Target: Target posision randomized once upon environment creation

  • Agents: Initial position randomized upon environment reset

  • Targets: Target posision randomized upon environment reset

HoleyGridAgent(s)

Maze9Agent(s)

HoleyGridTarget(s)

Maze9Target(s)

GridAgents

MazeAgents

GridTargets

MazeTargets

FetchAgent(s)

FetchTarget(s)

FetchAgents

FetchTargets

Demo & Test#

To test the environment, generate renderings of the layout, and demonstrate a trajectory, use the following script:

# python test [List of environment names]
# (optional: --demo [trajectory])
python test PointMaze7 --demo 1 1 0 0 1 1 0 0 0 1
python test HoleyPlane --demo 2 1 0 1 1 0 1


# Generate Random Layout Grid Renderings
python test Mazes7 Mazes11 --runs 100 --grid

Citation#

When using this repository you can cite it as:

@misc{altmann_hyphi-gym_2024,
      author = {Altmann, Philipp},
      license = {MIT},
      title = {{hyphi gym}},
      url = {https://gym.hyphi.co},
      year = {2024}
}

Documentation#

# Install required pacakges
pip install -e .[docs]

# Build html documentation (& deploy-docs)
sphinx-build -M html . docs