Home

Awesome

<div align="center"> <h1> Safety-Gymnasium </h1> </div> <div align="center">

<a>Python 3.8+</a> <a href="https://pypi.org/project/safety-gymnasium">PyPI</a> <a href="https://safety-gymnasium.readthedocs.io">Documentation Status</a> <a href="https://pepy.tech/project/safety-gymnasium">Downloads</a> <a href="https://github.com/PKU-Alignment/safety-gymnasium/stargazers">GitHub Repo Stars</a> <a href="https://github.com/PKU-Alignment/safety-gymnasium/blob/HEAD/LICENSE">License</a>

</div> <p align="center"> <a href="https://github.com/PKU-Alignment/safety-gymnasium#why-safety-gymnasium">Why Safety-Gymnasium?</a> | <a href="https://www.safety-gymnasium.com">Documentation</a> | <a href="https://github.com/PKU-Alignment/safety-gymnasium#installation">Install guide</a> | <a href="https://github.com/PKU-Alignment/safety-gymnasium#customize-your-environments">Customization</a> | <a href="https://sites.google.com/view/safety-gymnasium">Video</a> </p>

Safety-Gymnasium is a highly scalable and customizable Safe Reinforcement Learning (SafeRL) library. It aims to deliver a good view of benchmarking SafeRL algorithms and a standardized set of environments. We provide a set of standard APIs which are compatible with information on constraints. Users can explore new insights via an elegant code framework and well-designed environments.

Citing Safety-Gymnasium

If you find Safety-Gymnasium useful, please cite it in your publications.

@inproceedings{ji2023safety,
  title={Safety Gymnasium: A Unified Safe Reinforcement Learning Benchmark},
  author={Jiaming Ji and Borong Zhang and Jiayi Zhou and Xuehai Pan and Weidong Huang and Ruiyang Sun and Yiran Geng and Yifan Zhong and Josef Dai and Yaodong Yang},
  booktitle={Thirty-seventh Conference on Neural Information Processing Systems Datasets and Benchmarks Track},
  year={2023},
  url={https://openreview.net/forum?id=WZmlxIuIGR}
}

Note for v1.1.0 and v1.2.0❗️❗️❗️

We have updated the environments for both the Safe Vision series and the Safe Isaac Gym series. However, due to package size constraints, we have not yet uploaded versions v1.1.0 and v1.2.0 to PyPI. As a result, users are required to manually download and install. We currently recommend using GitHub's Download zip feature to obtain our package and access the latest environments. In the future, we plan to deploy resources separately to a cloud service to accommodate PyPI. Stay tuned for further updates.

Python 3.11 is not supported for now, due to the incompatibility of pygame.

conda create -n example python=3.8
conda activate example
wget https://github.com/PKU-Alignment/safety-gymnasium/archive/refs/heads/main.zip
unzip main.zip
cd safety-gymnasium-main
pip install -e .

Why Safety-Gymnasium?

Here we provide a table for comparison of Safety-Gymnasium and existing SafeRL Environments libraries.

SafeRL<br/>EnvsEngineVectorized<br/> EnvironmentsNew Gym API<sup>(3)</sup>Vision Input
Safety-Gym<br/>GitHub last commitmujoco-py<sup>(1)</sup>minimally supported
safe-control-gym<br/>GitHub last commitPyBullet
Velocity-Constraints<sup>(2)</sup>N/A
mujoco-circle<br/>GitHub last commitPyTorch
Safety-Gymnasium<br/>GitHub last commitMuJoCo 2.3.0+

<sup>(1): Maintenance (expect bug fixes and minor updates); the last commit is 19 Nov 2021. Safety-Gym depends on mujoco-py 2.0.2.7, which was updated on Oct 12, 2019.</sup><br/> <sup>(2): There is no official library for speed-related environments, and its associated cost constraints are constructed from info. But the task is widely used in the study of SafeRL, and we encapsulate it in Safety-Gymnasium.</sup><br/> <sup>(3): In the gym 0.26.0 release update, a new API of interaction was redefined.</sup>


Environments

We designed a variety of safety-enhanced learning tasks and integrated the contributions from the RL community: safety-velocity, safety-run, safety-circle, safety-goal, safety-button, etc. We introduce a unified safety-enhanced learning benchmark environment library called Safety-Gymnasium.

Further, to facilitate the progress of community research, we redesigned Safety-Gym and removed the dependency on mujoco-py. We built it on top of MuJoCo and fixed some bugs, more specific bug reports can refer to Safety-Gym's BUG Report.

Here is a list of all the environments we support for now:

<table border="1"> <thead> <tr> <th>Category</th> <th>Task</th> <th>Agent</th> <th>Example</th> </tr> </thead> <tbody> <tr> <td rowspan="4">Safe Navigation</td> <td>Button[012]</td> <td rowspan="4">Point, Car, Doggo, Racecar, Ant</td> <td rowspan="4">SafetyPointGoal1-v0</td> </tr> <tr> <td>Goal[012]</td> </tr> <tr> <td>Push[012]</td> </tr> <tr> <td>Circle[012]</td> </tr> <tr> <td>Safe Velocity</td> <td>Velocity</td> <td>HalfCheetah, Hopper, Swimmer, Walker2d, Ant, Humanoid</td> <td>SafetyAntVelocity-v1</td> </tr> <tr> <td rowspan="7">Safe Vision</td> <td>BuildingButton[012]</td> <td rowspan="7">Point, Car, Doggo, Racecar, Ant</td> <td rowspan="7">SafetyFormulaOne1-v0</td> </tr> <tr> <td>BuildingGoal[012]</td> </tr> <tr> <td>BuildingPush[012]</td> </tr> <tr> <td>FadingEasy[012]</td> </tr> <tr> <td>FadingHard[012]</td> </tr> <tr> <td>Race[012]</td> </tr> <tr> <td>FormulaOne[012]</td> </tr> <tr> <td rowspan="8">Safe Multi-Agent</td> <td>MultiGoal[012]</td> <td>Multi-Point, Multi-Ant</td> <td>SafetyAntMultiGoal1-v0</td> </tr> <tr> <td>Multi-Agent Velocity</td> <td>6x1HalfCheetah, 2x3HalfCheetah, 3x1Hopper, 2x1Swimmer, 2x3Walker2d, 2x4Ant, 4x2Ant, 9|8Humanoid</td> <td>Safety2x4AntVelocity-v0</td> </tr> <tr> <td>FreightFrankaCloseDrawer(Multi-Agent)</td> <td rowspan="2">FreightFranka</td> <td rowspan="2">FreightFrankaCloseDrawer(Multi-Agent)</td> </tr> <tr> <td>FreightFrankaPickAndPlace(Multi-Agent)</td> </tr> <tr> <td>ShadowHandCatchOver2UnderarmSafeFinger(Multi-Agent)</td> <td rowspan="4">ShadowHands</td> <td rowspan="4">ShadowHandCatchOver2UnderarmSafeJoint(Multi-Agent)</td> </tr> <tr> <td>ShadowHandCatchOver2UnderarmSafeJoint(Multi-Agent)</td> </tr> <tr> <td>ShadowHandOverSafeFinger(Multi-Agent)</td> </tr> <tr> <td>ShadowHandOverSafeJoint(Multi-Agent)</td> </tr> <tr> <td rowspan="6">Safe Isaac Gym</td> <td>FreightFrankaCloseDrawer</td> <td rowspan="2">FreightFranka</td> <td rowspan="2">FreightFrankaCloseDrawer</td> </tr> <tr> <td>FreightFrankaPickAndPlace</td> </tr> <tr> <td>ShadowHandCatchOver2UnderarmSafeFinger</td> <td rowspan="4">ShadowHands</td> <td rowspan="4">ShadowHandCatchOver2UnderarmSafeJoint</td> </tr> <tr> <td>ShadowHandCatchOver2UnderarmSafeJoint</td> </tr> <tr> <td>ShadowHandOverSafeFinger</td> </tr> <tr> <td>ShadowHandOverSafeJoint</td> </tr> </tbody> </table>

Here are some screenshots of the Safe Navigation tasks.

Agents

<table class="docutils align-default"> <tbody> <tr class="row-odd"> <td> <figure class="align-default"> <a class="reference external image-reference"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/point_front.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/point_front.jpeg" style="width: 130px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="doc">Point</span></a></strong> </p> </td> <td> <figure class="align-default"> <a class="reference external image-reference" href="agents/car.html"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/car_front.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/car_front.jpeg" style="width: 130px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="doc">Car</span></a></strong> </p> </td> <td> <figure class="align-default"> <a class="reference external image-reference" href="agents/racecar.html"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/racecar_front.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/racecar_front.jpeg" style="width: 130px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="doc">Racecar</span></a></strong> </p> </td> <td> <figure class="align-default"> <a class="reference external image-reference" href="agents/doggo.html"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/doggo_front.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/doggo_front.jpeg" style="width: 130px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="doc">Doggo</span></a></strong> </p> </td> <td> <figure class="align-default"> <a class="reference external image-reference" href="agents/ant.html"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/ant_front.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/ant_front.jpeg" style="width: 130px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="doc">Ant</span></a></strong> </p> </td> </tr> </tbody> </table>

Tasks

<table class="docutils align-default"> <tbody> <tr class="row-odd"> <td> <figure class="align-default"> <a class="reference external image-reference"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/goal0.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/goal0.jpeg" style="width: 230px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="std std-ref">Goal0</span></a></strong> </p> </td> <td> <figure class="align-default"> <a class="reference external image-reference"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/goal1.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/goal1.jpeg" style="width: 230px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="std std-ref">Goal1</span></a></strong> </p> </td> <td> <figure class="align-default"> <a class="reference external image-reference"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/goal2.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/goal2.jpeg" style="width: 230px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="std std-ref">Goal2</span></a></strong> </p> </td> </tr> <tr class="row-even"> <td> <figure class="align-default"> <a class="reference external image-reference"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/button0.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/button0.jpeg" style="width: 230px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="std std-ref">Button0</span></a></strong> </p> </td> <td> <figure class="align-default"> <a class="reference external image-reference" href="./button#button1"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/button1.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/button1.jpeg" style="width: 230px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="std std-ref">Button1</span></a></strong> </p> </td> <td> <figure class="align-default"> <a class="reference external image-reference" href="./button#button2"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/button2.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/button2.jpeg" style="width: 230px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="std std-ref">Button2</span></a></strong> </p> </td> </tr> <tr class="row-odd"> <td> <figure class="align-default"> <a class="reference external image-reference"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/push0.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/push0.jpeg" style="width: 230px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="std std-ref">Push0</span></a></strong> </p> </td> <td> <figure class="align-default"> <a class="reference external image-reference"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/push1.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/push1.jpeg" style="width: 230px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="std std-ref">Push1</span></a></strong> </p> </td> <td> <figure class="align-default"> <a class="reference external image-reference"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/push2.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/push2.jpeg" style="width: 230px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="std std-ref">Push2</span></a></strong> </p> </td> </tr> <tr class="row-even"> <td> <figure class="align-default"> <a class="reference external image-reference"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/circle0.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/circle0.jpeg" style="width: 230px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="std std-ref">Circle0</span></a></strong> </p> </td> <td> <figure class="align-default"> <a class="reference external image-reference"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/circle1.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/circle1.jpeg" style="width: 230px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="std std-ref">Circle1</span></a></strong> </p> </td> <td> <figure class="align-default"> <a class="reference external image-reference" href="./circle#circle2"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/circle2.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/images/circle2.jpeg" style="width: 230px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="std std-ref">Circle2</span></a></strong> </p> </td> </tr> </tbody> </table>

Vision-based Safe RL

Vision-based SafeRL lacks realistic scenarios. Although the original Safety-Gym could minimally support visual input, the scenarios were too similar. To facilitate the validation of visual-based SafeRL algorithms, we have developed a set of realistic vision-based SafeRL tasks, which are currently being validated on the baseline.

For the appetizer, the images are as follows:

<table class="docutils align-default"> <tbody> <tr class="row-odd"> <td> <figure class="align-default"> <a class="reference external image-reference"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/docs/_static/images/race0.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/docs/_static/images/race0.jpeg" style="width: 230px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="std std-ref">Race0</span></a></strong> </p> </td> <td> <figure class="align-default"> <a class="reference external image-reference"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/docs/_static/images/race1.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/docs/_static/images/race1.jpeg" style="width: 230px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="std std-ref">Race1</span></a></strong> </p> </td> <td> <figure class="align-default"> <a class="reference external image-reference"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/docs/_static/images/race2.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/docs/_static/images/race2.jpeg" style="width: 230px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="std std-ref">Race2</span></a></strong> </p> </td> </tr> <tr class="row-odd"> <td> <figure class="align-default"> <a class="reference external image-reference"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/docs/_static/images/formula_one0.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/docs/_static/images/formula_one0.jpeg" style="width: 230px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="std std-ref">FormulaOne0</span></a></strong> </p> </td> <td> <figure class="align-default"> <a class="reference external image-reference"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/docs/_static/images/formula_one1.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/docs/_static/images/formula_one1.jpeg" style="width: 230px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="std std-ref">FormulaOne1</span></a></strong> </p> </td> <td> <figure class="align-default"> <a class="reference external image-reference"><img alt="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/docs/_static/images/formula_one2.jpeg" src="https://github.com/PKU-Alignment/safety-gymnasium/raw/HEAD/docs/_static/images/formula_one2.jpeg" style="width: 230px;"></a> </figure> <p class="centered"> <strong><a class="reference internal"><span class="std std-ref">FormulaOne2</span></a></strong> </p> </td> </tr> </tbody> </table>

Environment Usage

Notes: We support explicitly expressing the cost based on Gymnasium APIs. The step method returns 6 items (next_obervation, reward, cost, terminated, truncated, info) with an extra cost field.

import safety_gymnasium

env_id = 'SafetyPointGoal1-v0'
env = safety_gymnasium.make(env_id)

obs, info = env.reset()
while True:
    act = env.action_space.sample()
    obs, reward, cost, terminated, truncated, info = env.step(act)
    if terminated or truncated:
        break
    env.render()

We also provide two convenience wrappers for converting the Safety-Gymnasium environment to the standard Gymnasium API and vice versa.

# Safety-Gymnasium API: step returns (next_obervation, reward, cost, terminated, truncated, info)
# Gymnasium API:        step returns (next_obervation, reward, terminated, truncated, info) and cost is in the `info` dict associated with a str key `'cost'`

safety_gymnasium_env = safety_gymnasium.make(env_id)
gymnasium_env = safety_gymnasium.wrappers.SafetyGymnasium2Gymnasium(safety_gymnasium_env)

safety_gymnasium_env = safety_gymnasium.wrappers.Gymnasium2SafetyGymnasium(gymnasium_env)

Users can apply Gymnasium wrappers easily with:

import gymnasium
import safety_gymnasium

def make_safe_env(env_id):
    safe_env = safety_gymnasium.make(env_id)
    env = safety_gymnasium.wrappers.SafetyGymnasium2Gymnasium(safe_env)
    env = gymnasium.wrappers.SomeWrapper1(env)
    env = gymnasium.wrappers.SomeWrapper2(env, argname1=arg1, argname2=arg2)
    ...
    env = gymnasium.wrappers.SomeWrapperN(env)
    safe_env = safety_gymnasium.wrappers.Gymnasium2SafetyGymnasium(env)
    return safe_env

or

import functools

import gymnasium
import safety_gymnasium

def make_safe_env(env_id):
    return safety_gymnasium.wrappers.with_gymnasium_wrappers(
        safety_gymnasium.make(env_id),
        gymnasium.wrappers.SomeWrapper1,
        functools.partial(gymnasium.wrappers.SomeWrapper2, argname1=arg1, argname2=arg2),
        ...,
        gymnasium.wrappers.SomeWrapperN,
    )

In addition, for all Safety-Gymnasium environments, we also provide corresponding Gymnasium environments with a suffix Gymnasium in the environment id. For example:

import gymnasium
import safety_gymnasium

safety_gymnasium.make('SafetyPointGoal1-v0')    # step returns (next_obervation, reward, cost, terminated, truncated, info)
gymnasium.make('SafetyPointGoal1Gymnasium-v0')  # step returns (next_obervation, reward, terminated, truncated, info)

Installation

Install from PyPI

pip install safety-gymnasium

Install from source

conda create -n <envname> python=3.8
conda activate <envname>

git clone https://github.com/PKU-Alignment/safety-gymnasium.git
cd safety-gymnasium
pip install -e .

Important Notes

If you failed to render on your server, you can try:

echo "export MUJOCO_GL=osmesa" >> ~/.bashrc
source ~/.bashrc
apt-get install libosmesa6-dev
apt-get install python3-opengl

Debug with your keyboard

For simple agents, we offer the capability to control the robot's movement via the keyboard, facilitating debugging. Simply append a Debug suffix to the task name, such as SafetyCarGoal2Debug-v0, and utilize the keys I, K, J, and L to guide the robot's movement.

For more intricate agents, you can also craft custom control logic based on specific peripherals. To achieve this, implement the debug method from the BaseAgent for the designated agent.

Customize your environments

We construct a highly expandable framework of code so that you can easily comprehend it and design your environments to facilitate your research with no more than 100 lines of code on average.

For details, please refer to our documentation. Here is a minimal example:

# import the objects you want to use
# or you can define specific objects by yourself, just make sure obeying our specification
from safety_gymnasium.assets.geoms import Apples
from safety_gymnasium.bases import BaseTask

# inherit the basetask
class MytaskLevel0(BaseTask):
    def __init__(self, config):
        super().__init__(config=config)
        # define some properties
        self.num_steps = 500
        self.agent.placements = [(-0.8, -0.8, 0.8, 0.8)]
        self.agent.keepout = 0
        self.lidar_conf.max_dist = 6
        # add objects into environments
        self.add_geoms(Apples(num=2, size=0.3))

    def calculate_reward(self):
        # implement your reward function
        # Note: cost calculation is based on objects, so it's automatic
        reward = 1
        return reward

    def specific_reset(self):
        # depending on your task

    def specific_step(self):
        # depending on your task

    def update_world(self):
        # depending on your task

    @property
    def goal_achieved(self):
        # depending on your task

License

Safety-Gymnasium is released under Apache License 2.0.