Code accompanying "Value Functions are Control Barrier Functions: Verification of Safe Policies using Control Theory"
☆32Mar 14, 2024Updated last year
Alternatives and similar repositories for rl_cbf
Users that are interested in rl_cbf are comparing it to the libraries listed below
Sorting:
- ☆159May 3, 2019Updated 6 years ago
- CDC2024_submission_repository☆47Jul 28, 2024Updated last year
- Various Control Barrier Functions realized on cartpole.☆25Jun 29, 2024Updated last year
- Papers related to Legged locomotion☆18Oct 16, 2024Updated last year
- Toolkit for learning controllers based on robust control Lyapunov barrier functions☆181Jul 10, 2024Updated last year
- Codebase of paper "Self-Improving Safety Performance of Reinforcement Learning Based Driving with Black-Box Verification Algorithms" publ…☆12Jul 13, 2023Updated 2 years ago
- Autonomous robot exploration in unknown outdoor environment☆10Nov 13, 2018Updated 7 years ago
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆73Aug 13, 2023Updated 2 years ago
- This repository includes a realization of the resilient projection-based consensus actor-critic algorithm that is resilient to adversaria…☆11May 23, 2022Updated 3 years ago
- MAVROS-PX4 drone auto ROS bag record on / off according to arming state☆13Oct 30, 2024Updated last year
- [RA-L 2024] HE-Nav: A High-Performance and Efficient Navigation System for Aerial-Ground Robots in Cluttered Environments☆34Jan 29, 2025Updated last year
- Code for L4DC 2022 paper: Joint Synthesis of Safety Certificate and Safe Control Policy Using Constrained Reinforcement Learning.☆15Jul 31, 2023Updated 2 years ago
- 2D Grid Environment with common utils (raytracing) and quadrotor dynamics. With Exponential Control Barrier Functions☆13Jun 3, 2020Updated 5 years ago
- 新增一个CBF层,并将其结合进actor网络中,得到safe RL框架。后续验证中发现这种做法并没有实质性的用处,所以不再继续这个项目☆11Mar 14, 2023Updated 2 years ago
- ☆11Mar 2, 2024Updated 2 years ago
- ☆17Nov 20, 2024Updated last year
- ☆13Jan 4, 2025Updated last year
- C++ visualization tools for semanticKITTI.☆12Aug 18, 2022Updated 3 years ago
- Code for the paper "Control Barriers in Bayesian Learning of System Dynamics"☆29Oct 18, 2022Updated 3 years ago
- Globally Safe Model-free Exploration of Dynamical Systems☆32Nov 11, 2024Updated last year
- A simple RNN meta-learner☆10Dec 17, 2018Updated 7 years ago
- ☆15Aug 22, 2024Updated last year
- "Safety-Critical Control using Optimal-decay Control Barrier Functions with Guaranteed Point-wise Feasibility" by J. Zeng, B. Zhang, Z. L…☆32May 23, 2021Updated 4 years ago
- Pytorch Implementation of TinyMPC☆63Jan 17, 2024Updated 2 years ago
- A global planner that implements RRT as a plugin for the ros navigation stack☆13May 16, 2020Updated 5 years ago
- Official implementation of the ITSC 2023 paper "LiDAR View Synthesis for Robust Vehicle Navigation Without Expert Labels"☆18May 16, 2024Updated last year
- G-VOM: A GPU Accelerated Voxel Off-Road Mapping System☆17Nov 27, 2024Updated last year
- Implementation of the Online Adaptive CBF for safety-critical navigation for input constrained systems.☆56Dec 12, 2025Updated 2 months ago
- ☆16Mar 24, 2022Updated 3 years ago
- A generative transformer architecture, that performs upsampling, denoising, and fills sparse radar maps☆22Nov 4, 2025Updated 3 months ago
- MENTOR is a highly efficient visual RL algorithm that excels in both simulation and real-world complex robotic learning tasks.☆27Jul 9, 2025Updated 7 months ago
- Thrid-party safety-gym safe exploration environments for autonomous driving. Also environment used for IROS 2021 paper: Model-based Const…☆37Aug 19, 2021Updated 4 years ago
- Some useful tools written in Matlab for Semantic KITTI☆16Feb 9, 2020Updated 6 years ago
- Generative Predictive Control☆57Sep 30, 2025Updated 5 months ago
- "Safety-Critical Model Predictive Control with Discrete-Time Control Barrier Function" by J. Zeng, B. Zhang and K. Sreenath https://arxiv…☆314Jan 21, 2022Updated 4 years ago
- HEROS: Hierarchical Exploration with Online Subregion Updating for 3D Environment Coverage☆20Oct 31, 2025Updated 4 months ago
- ☆18Sep 16, 2021Updated 4 years ago
- Official repository for the ICRA 2024 Cloth Competition☆24Jan 9, 2025Updated last year
- Official Implementation of ICLR2025 Paper: Songyuan Zhang, Oswin So, Mitchell Black, Chuchu Fan: "Discrete GCBF Proximal Policy Optimizat…☆25May 14, 2025Updated 9 months ago