The Fuzion Language Implementation
-
Updated
May 29, 2024 - Java
The Fuzion Language Implementation
🚧 🚔 ⚠ Toolbox to compute Criticality Measures for Automated Vehicles
NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark
🩺🛣️ IBP IoU an approach for the formal verificaion of object detection models.
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.
ICLR 2024: SafeDreamer: Safe Reinforcement Learning with World Models
An LLM-based game and thought experiment about a world where information is truly free. Including your information! It's Information Anarchy!
Safe robot learning
Real Time Safety Heap Allocator
A collection of work using nonlinear model predictive control (NMPC) with discrete-time control Lyapunov functions (CLFs) and control barrier functions (CBFs)
STM32 project & C++ library 🛰️
Code for L4DC 2022 paper: Joint Synthesis of Safety Certificate and Safe Control Policy Using Constrained Reinforcement Learning.
List of NSO Pegasus's C2C Servers where will be used to control Pegasus.
On the forward invariance of Neural ODEs: performance guarantees for policy learning
This repository is part of EU-funded Research Project (XANDAR)
Implementation of the Heatmap-based Unsupervised Debugging of DNNs (HUDD) toolset
Code for the paper "Control Barriers in Bayesian Learning of System Dynamics"
Safety Critical Control of Autonomous Vehicles by Control Barrier Functions
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.
Add a description, image, and links to the safety-critical-systems topic page so that developers can more easily learn about it.
To associate your repository with the safety-critical-systems topic, visit your repo's landing page and select "manage topics."