Safety Critical Python Packages

safety-gymnasium

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

reqcov

Automate requirements traceability: trace requirements to tests and code, fail CI on gaps, generate audit-ready traceability matrices.

commonroad-crime

🚧 🚔 ⚠ Toolbox to compute Criticality Measures for Automated Vehicles

omnisafe

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

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.

urml-validator

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

urml-chrono-runtime

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

urml-cobot-runtime

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

urml-autosar-runtime

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

fast-safe-rl

🚀 A fast safe reinforcement learning library in PyTorch

urml-ardupilot-runtime

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

parallelcbf

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