Skip to content
#

safety-critical

Here are 68 public repositories matching this topic...

o1heap

Constant-complexity deterministic memory allocator (heap) for hard real-time high-integrity embedded systems. There is very little activity because the project is finished and does not require further changes.

  • Updated Apr 10, 2024
  • C++

Bourne shell, template engine, scripting language reliable, scalable projects. Based a ISO standard proven effective for large, mission-critical projects, SparForte is designed for fast development while, at the same time, providing easier designing, maintenance and bug removal. About 130.000 lines of code.

  • Updated Jul 2, 2024
  • Ada

Repository containing the code for the paper "Safe Model-Based Reinforcement Learning using Robust Control Barrier Functions". Specifically, an implementation of SAC + Robust Control Barrier Functions (RCBFs) for safe reinforcement learning in two custom environments

  • Updated Jun 23, 2022
  • 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.

Curate this topic

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."

Learn more