List of resources about programming practices for writing safety-critical software.
-
Updated
Mar 11, 2025 - Python
#
safety-critical
Here are 61 public repositories matching this topic...
JMLR: OmniSafe is an infrastructural framework for accelerating SafeRL research.
benchmark machine-learning reinforcement-learning deep-learning deep-reinforcement-learning constraint-satisfaction-problem pytorch safety-critical saferl safe-reinforcement-learning safe-rl safety-gym safety-gymnasium constraint-rl
-
Updated
Mar 17, 2025 - Python
NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark
reinforcement-learning constraint-satisfaction-problem safety-critical safety-critical-systems safe-reinforcement-learning safe-reinforcement-learning-environments constraint-rl safe-policy-optimization
-
Updated
Dec 4, 2025 - Python
Safety-critical controllers for single/multi robotic navigation: CBF-QP, MPC-CBF, and etc.
control robotics navigation simulation mpc obstacle-avoidance safety-critical qp robotics-simulation rgb-d cbf mpc-cbf
-
Updated
Apr 27, 2026 - Python
🚀 A fast safe reinforcement learning library in PyTorch
library reinforcement-learning robotics decision-making pytorch sac safety-critical trpo ppo cpo safe-rl trustworthy-ai cvpo
-
Updated
Sep 30, 2024 - Python
[ICML 2024] Assessing the Brittleness of Safety Alignment via Pruning and Low-Rank Modifications
-
Updated
Mar 30, 2025 - Python
Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad class of safety-critical learning and control tasks.
optimization constraints constrained-optimization constraint-programming robotics-control constraint-based-modeling safety-critical safety-critical-systems differentiable-programming non-convex-optimization safe-reinforcement-learning constrained-learning safe-control constrained-reinforcement-learning safe-planning safety-critical-learning
-
Updated
Jul 23, 2022 - Python
Implementation of the Online Adaptive CBF for safety-critical navigation for input constrained systems.
-
Updated
May 20, 2026 - Python
The Visibility-Aware RRT* implementation for safety-critical navigation with perception-limited robots.
-
Updated
Jan 15, 2026 - Python
The Verifiably Safe Reinforcement Learning Framework
reinforcement-learning pytorch reinforcement-learning-algorithms formal-methods formal-verification keymaerax safety-critical cyber-physical-systems differential-dynamic-logic keymaera safe-reinforcement-learning reinforcement-learning-environments safe-control
-
Updated
Jul 22, 2021 - Python
Software Quality Management Tool
testing quality-assurance spdx software-testing requirements-management traceability safety-critical softwarequality functional-safety testcases spdx-sbom testspec
-
Updated
May 8, 2026 - Python
Repository containing the code for safe reinforcement learning in two custom environments
machine-learning control reinforcement-learning deep-learning robotics pytorch safety-critical safe-reinforcement-learning iisc
-
Updated
Apr 9, 2025 - Python
Various Control Barrier Functions realized on cartpole.
python learning control robot dynamics cartpole lqr safety-critical cbf control-barrier-functions cbf-learning
-
Updated
Jun 29, 2024 - Python
MatrixWorld: A pursuit-evasion platform for safe multi-agent coordination and autocurricula
grid-world large-scale safety-critical adversarial-learning pursuit-evasion multi-agent-path-finding co-evolution collision-resolution arms-race multi-agent-environment autocurricula safe-multiagent-reinforcement-learning
-
Updated
Feb 26, 2025 - Python
Towards explainable value functions in reinforcement learning. A framework for collision probability distribution estimation via deep temporal difference learning.
python research reinforcement-learning deep-learning robotics tensorflow end-to-end deep-reinforcement-learning collision-detection safety autonomous-driving safety-critical explainable-ai xai temporal-difference-learning
-
Updated
May 5, 2025 - Python
The specification, reference runtimes, validator, LLM bridge, and conformance suite for URML — an open language for robot intent.
-
Updated
Jun 5, 2026 - Python
Modified-Emergency Index (MEI): A Criticality Metric for Autonomous Driving in Lateral Conflict
-
Updated
Jul 18, 2025 - Python
The official Code for the paper "Safe Legged Locomotion using Collision Cone Control Barrier Functions (C3BFs)"
-
Updated
Nov 16, 2024 - Python
EN 50128 Railway Software Development Framework - Role-based agents for OpenCode
-
Updated
Apr 4, 2026 - Python
Composable safety-filter and auditability layer for tensor-parallel reinforcement learning. CBF safety filters, watchdog registries, pre-registration artifacts, failure forensics.
reinforcement-learning uav robotics pytorch reproducibility gymnasium safety-critical safe-rl control-barrier-functions
-
Updated
May 6, 2026 - Python
Improve this page
Add a description, image, and links to the safety-critical topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the safety-critical topic, visit your repo's landing page and select "manage topics."