This is the official code for CoRL 2024 work "Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation".
☆16Oct 6, 2025Updated last year
Alternatives and similar repositories for verify-neural-CBF
Users that are interested in verify-neural-CBF are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fault-Tolerant Neural CBF☆16Feb 23, 2024Updated 2 years ago
- ☆18Feb 12, 2026Updated 8 months ago
- This is the official code for CoRL 2022 "Robustness Certification of Visual Perception Models via Camera Motion Smoothing"☆11Apr 5, 2023Updated 3 years ago
- ☆21Jul 21, 2025Updated last year
- The official code for "Steering Dialogue Dynamics for Robustness against Multi-turn Jailbreaking Attacks".☆19Jun 24, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Code for Policy Bifurcation in Safe Reinforcement Learning☆10Jul 4, 2025Updated last year
- A modular toolkit for benchmarking safe robotic control systems.☆67Oct 9, 2026Updated 3 weeks ago
- [CDC 2024] Learning a Formally Verified Control Barrier Function in Stochastic Environment☆13Feb 15, 2026Updated 8 months ago
- A package for parsing neural network properties in VNN-LIB format☆12Jul 18, 2026Updated 3 months ago
- This is the code for the paper "Jedi: Entropy-Based Localization and Removal of Adversarial Patches" puiblished in CVPR 2023: https://arx…☆12Jun 2, 2023Updated 3 years ago
- Multi-agent active perception with prediction rewards☆12Aug 6, 2026Updated 3 months ago
- ☆16Mar 7, 2025Updated last year
- Registration-aided 3D Point Cloud Learning for Large-Scale Place Recognition (IROS 2021)☆12May 28, 2022Updated 4 years ago
- [CCS 2021] TSS: Transformation-specific smoothing for robustness certification☆26Oct 3, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Detection of ArUco Boards☆14Mar 29, 2023Updated 3 years ago
- Safe robot learning☆121Nov 21, 2024Updated last year
- Fourth edition of VNN COMP (2023)☆16Apr 12, 2023Updated 3 years ago
- CLI tool to move Neptune experiments (version 2.x or 3.x) to disk as parquet + files, with an option to load them into alternative suppor…☆11Mar 3, 2026Updated 8 months ago
- ☆11Oct 18, 2022Updated 4 years ago
- 通过中国银河证券星耀数智（AmazingData）SDK 拉取 A 股市场数据，并将结果存入ClickHouse和写为 Parquet 文件存入S3☆15May 17, 2026Updated 5 months ago
- Adaptive explicit-Barrier Net for Safe and Scalable Robot Learning☆19May 16, 2025Updated last year
- [DMLR 2024] Benchmarking Robustness of Multimodal Image-Text Models under Distribution Shift☆40Jan 25, 2024Updated 2 years ago
- [CVPR 2024] MMSum: A Dataset for Multimodal Summarization and Thumbnail Generation of Videos☆38Jan 29, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Preprint: Asymmetry in Low-Rank Adapters of Foundation Models☆40Feb 27, 2024Updated 2 years ago
- M2S: Multi-turn to Single-turn jailbreak in Red Teaming for LLMs☆13Aug 6, 2025Updated last year
- 基于unet的声学回声消除系统☆13Apr 4, 2025Updated last year
- Log arbitrary ROS messages to an SQL database☆17Aug 9, 2020Updated 6 years ago
- ☆14Mar 14, 2026Updated 7 months ago
- Safety-critical control for autonomous systems☆17Aug 10, 2023Updated 3 years ago
- Certified Object Detection with Randomized Median Smoothing☆13Oct 21, 2020Updated 6 years ago
- Jax version of F16 dynamics☆28Aug 18, 2024Updated 2 years ago
- Jax Official Implementation of T-RO Paper: Songyuan Zhang*, Oswin So*, Kunal Garg, Chuchu Fan: "GCBF+: A Neural Graph Control Barrier Fun…☆138Jun 3, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Track 4: Cross-Modal Drone Navigation☆17Aug 28, 2025Updated last year
- ☆12Mar 5, 2024Updated 2 years ago
- Self-Supervised Underwater Caustics Removal and Descattering via Deep Monocular SLAM☆23Oct 19, 2026Updated 2 weeks ago
- ☆58Jan 19, 2025Updated last year
- Library to compute kinematics, inverse kinematics and dynamics for N-dof robotics systems based on Denavit-Hartenberg convention.☆18Oct 28, 2025Updated last year
- This package provides a python toolkit for the evaluation on the "SeasonDepth: Cross-Season Monocular Depth Prediction Dataset and Benchm…☆48Sep 5, 2023Updated 3 years ago
- Official implementation of the paper: Safe Model-Based Reinforcement Learning with an Uncertainty-Aware Reachability Certificate☆25Dec 4, 2023Updated 2 years ago