Skip to content

Multi and Single Agent Safe Reinforcement Learning

Multi and Single Agent Safe Reinforcement Learning

Get Started

Quick Start
Core Concepts
- Labelling Function
- Cost Function
Basic Usage

Common API

Constraints
Wrappers
Metrics
- Logging
Linear Temporal Logic (LTL)
Probabilistic Computation Tree Logic (PCTL)

Environments

Multi Agent
- Parallel Multi Agent Environments
- Turn-Based (AEC) Multi Agent Environments
Single Agent
- Pacman

Algorithms

PPO Lagrangian
Constrained Policy Optimization

Tutorials

Basics
Constraints
LTL-Safety
Wrappers
Environments
Algorithms

Misc

Probabilistic Shielding

LTL-Safety¶

We provide the following tutorials for configuring and creating LTL-Safety constraints.

Copyright © 2025, Alexander Goodall, Edwin Hamel De Le Court, Omar Adalat, Francesco Belardinelli

Made with Sphinx and @pradyunsg's Furo