Implementation of the Heatmap-based Unsupervised Debugging of DNNs (HUDD) toolset
-
Updated
Oct 27, 2022 - Python
Implementation of the Heatmap-based Unsupervised Debugging of DNNs (HUDD) toolset
This repository is part of EU-funded Research Project (XANDAR)
🩺🛣️ IBP IoU an approach for the formal verificaion of object detection models.
An LLM-based game and thought experiment about a world where information is truly free. Including your information! It's Information Anarchy!
A simulation of a steam boiler and its functionalities. Includes levels of redundancies in preparation for potential failures.
Real Time Safety Heap Allocator
🚧 🚔 ⚠ Toolbox to compute Criticality Measures for Automated Vehicles
STM32 project & C++ library 🛰️
Code for L4DC 2022 paper: Joint Synthesis of Safety Certificate and Safe Control Policy Using Constrained Reinforcement Learning.
On the forward invariance of Neural ODEs: performance guarantees for policy learning
This extended Eigen C++ template library and wrapper provide a malloc-free Moore-Penrose pseudoinverse solver.
ICLR 2024: SafeDreamer: Safe Reinforcement Learning with World Models
List of NSO Pegasus's C2C Servers where will be used to control Pegasus.
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.
"Safety-Critical Control using Optimal-decay Control Barrier Functions with Guaranteed Point-wise Feasibility" by J. Zeng, B. Zhang, Z. Li and K. Sreenath https://arxiv.org/pdf/2103.12375.pdf
The Fuzion Language Implementation
Code for the paper "Control Barriers in Bayesian Learning of System Dynamics"
Safe robot learning
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."