Pinned Repositories
AGen
Adaptable generative prediction using recursive least square algorithm
Auto_Vehicle_Simulator
BIS
Benchmark on interactive safety
Collaborative_Aerial_Transportation
This repository is dedicated to build a simulation test bed for developping aerial manipulation algorithms.
Composable_Agent_Toolbox
Benchmark for planner, controller, model, estimator etc.
guard
ISSA_CoRL21
Kinect_Smoothing
"Kinect Smoothing" helps you to smooth and filter the Kinect depth image as well as trajectory data
MEKF_MAME
Modified Extended Kalman Filter with generalized exponential Moving Average and dynamic Multi-Epoch update strategy (MEKF_MAME)
StateWise_Constrained_Policy_Optimization
Intelligent Control Lab's Repositories
intelligent-control-lab/guard
intelligent-control-lab/MEKF_MAME
Modified Extended Kalman Filter with generalized exponential Moving Average and dynamic Multi-Epoch update strategy (MEKF_MAME)
intelligent-control-lab/Auto_Vehicle_Simulator
intelligent-control-lab/StateWise_Constrained_Policy_Optimization
intelligent-control-lab/Composable_Agent_Toolbox
Benchmark for planner, controller, model, estimator etc.
intelligent-control-lab/ISSA_CoRL21
intelligent-control-lab/Autoenv
An integrated environment for autonomous driving simulation
intelligent-control-lab/NeuralVerification.jl
Methods to soundly verify deep neural networks
intelligent-control-lab/NNDM-safe-control
intelligent-control-lab/StableLego
intelligent-control-lab/Robotic_LEGO_Assembly_and_Disassembly_from_Human_Demonstration
This repo is the code deliverable for 2022-23 Siemens project phase 2.
intelligent-control-lab/Stream_Motion_Controller
This repository contains the C++ controller for controlling the Fanuc robots using the Stream Motion interface.
intelligent-control-lab/Absolute-Policy-Optimization
The source code of Absolute Policy Optimization
intelligent-control-lab/Human-Robot-Handover
intelligent-control-lab/Joint-Tolerance-Estimation
intelligent-control-lab/BOND
This is the official code for L4DC 2024 paper "Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation"
intelligent-control-lab/Feedforward_Adaptation
[CoRL 2023] Online Model Adaptation with Feedforward Compensation
intelligent-control-lab/guardX
In the enhanced GUARD environment, RL training benefits from the power of GPU parallelization, enabling the training of RL agents in a matter of minutes.
intelligent-control-lab/Robot_Digital_Twin
intelligent-control-lab/Robotic_Lego_Manipulation
intelligent-control-lab/RSSA-and-abstract-safe-control
intelligent-control-lab/safe_rl_bench
intelligent-control-lab/ARSSA
Code for MECC 2021
intelligent-control-lab/CCHP_ICRA23
intelligent-control-lab/CMA-ES
intelligent-control-lab/Microscopic_Epidemic_Model
intelligent-control-lab/NeuralVerification_VNNCOMP_scripts
intelligent-control-lab/Safety-Index-Synthesis-via-Sum-of-Squares-Programming
the code of ACC 2023, Safety Index Synthesis via Sum of Squares Programming
intelligent-control-lab/UA-ISSA-CoRL22
intelligent-control-lab/vnncomp2021
VNN Neural Network Verification Competition 2021