Safety Critical Python Packages

safety-gymnasium

NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark

commonroad-crime

🚧 🚔 ⚠ Toolbox to compute Criticality Measures for Automated Vehicles

omnisafe

JMLR: OmniSafe is an infrastructural framework for accelerating SafeRL research.

monogate-forge

EML language and compiler for verified mathematical computation across 36 targets: software, GPU shaders, hardware (FPGA/ASIC, SPICE, KiCad, and JLCPCB), formal verification, and safety-critical systems.

fast-safe-rl

🚀 A fast safe reinforcement learning library in PyTorch

urml-llm-bridge

The specification, reference runtimes, validator, LLM bridge, and conformance suite for URML — an open language for robot intent.

logicshield

Deterministic validation firewall that verifies AI-generated proposals against ground-truth state using immutable rules. Zero dependencies. Patent pending.

parallelcbf

Composable safety-filter and auditability layer for tensor-parallel reinforcement learning. CBF safety filters, watchdog registries, pre-registration artifacts, failure forensics.

urml-validator

Static verification engine for URML — Universal Robot Language