List of resources about programming practices for writing safety-critical software.
-
Updated
Mar 11, 2025 - Python
#
safety-critical
Here are 25 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
Sep 5, 2025 - 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
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
Oct 26, 2025 - 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
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
The Visibility-Aware RRT* implementation for safety-critical navigation with perception-limited robots.
-
Updated
Apr 3, 2025 - Python
Implementation of the Online Adaptive CBF for safety-critical navigation for input constrained systems.
-
Updated
Nov 7, 2025 - 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
Software Quality Management Tool
testing quality-assurance spdx software-testing requirements-management traceability safety-critical softwarequality functional-safety testcases spdx-sbom testspec
-
Updated
Nov 7, 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
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
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
The official Code for the paper "Safe Legged Locomotion using Collision Cone Control Barrier Functions (C3BFs)"
-
Updated
Nov 16, 2024 - Python
Master's thesis project, showing a safe RL agent that stabilises and always keeps a power system safe (even during training)
reinforcement-learning control-systems gaussian-processes quadratic-programming power-systems safety-critical reinforcement-learning-agent safety-critical-systems power-system-stability control-barrier-functions
-
Updated
Jun 19, 2025 - Python
official implmentation for LCSS paper, CDC presentation
-
Updated
Sep 22, 2023 - Python
Pacemaker program flashed on to the FRDM-K64FJ board using Python and Simulink
python embedded-systems simulink real-time-systems safety-critical serial-communication model-driven-architecture
-
Updated
Feb 12, 2024 - Python
This repository is the home of the simulation results in the paper **Robust Adaptive Discrete-time Control Barrier Certificate**.
-
Updated
Aug 6, 2025 - 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."