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:
- 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 3 months ago
- Code for Policy Bifurcation in Safe Reinforcement Learning☆10Jul 4, 2025Updated last year
- ☆18Feb 12, 2026Updated 8 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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
- Multi-agent active perception with prediction rewards☆12Aug 6, 2026Updated 2 months ago
- Fourth edition of VNN COMP (2023)☆16Apr 12, 2023Updated 3 years ago
- ☆11Oct 18, 2022Updated 4 years ago
- [LIMIT@ECCV 2026] RIPE, minus the negatives, plus a trainable matcher - full sparse matching pipelines learned from positive image pairs …☆31Sep 2, 2026Updated last month
- [DMLR 2024] Benchmarking Robustness of Multimodal Image-Text Models under Distribution Shift☆40Jan 25, 2024Updated 2 years ago
- Preprint: Asymmetry in Low-Rank Adapters of Foundation Models☆40Feb 27, 2024Updated 2 years ago
- Jax version of F16 dynamics☆28Aug 18, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Certified Object Detection with Randomized Median Smoothing☆13Oct 21, 2020Updated 5 years ago
- ☆11Mar 5, 2024Updated 2 years ago
- Log arbitrary ROS messages to an SQL database☆17Aug 9, 2020Updated 6 years ago
- Library to compute kinematics, inverse kinematics and dynamics for N-dof robotics systems based on Denavit-Hartenberg convention.☆18Oct 28, 2025Updated 11 months ago
- Track 4: Cross-Modal Drone Navigation☆17Aug 28, 2025Updated last year
- Official implementation of the paper: Safe Model-Based Reinforcement Learning with an Uncertainty-Aware Reachability Certificate☆25Dec 4, 2023Updated 2 years ago
- 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
- 3rd Place Solution in Lux AI Season 3 (NeurIPS 2024) Competition☆13Mar 16, 2025Updated last year
- Multi-agent Reinforcement Learning, 14th in 701 teams - NeurIPS 2024 Competition☆15Mar 13, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- [ICRA'24] Influence of Camera-LiDAR Configuration on 3D Object Detection for Autonomous Driving☆21Sep 14, 2024Updated 2 years ago
- This is the official released code for CVPR 2022 "Investigating the Impact of Multi-LiDAR Placement on Object Detection for Autonomous Dr…☆47Sep 6, 2022Updated 4 years ago
- ☆20Apr 5, 2023Updated 3 years ago
- multi-modal sentiment☆16Nov 19, 2024Updated last year
- SynTTS-Commands is a large-scale, multilingual (English & Chinese) synthetic speech command dataset designed for low-power Keyword Spotti…☆18Feb 5, 2026Updated 8 months ago
- Implementation of importance sampling, direct, and hybrid methods for off-policy evaluation.☆16Mar 28, 2020Updated 6 years ago
- ☆15May 31, 2023Updated 3 years ago
- Code for Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time Violations☆18Mar 4, 2022Updated 4 years ago
- Repository of the work "Learning Adaptive Safety for Multi-agent Systems"☆17Apr 18, 2024Updated 2 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.
- Track 3: Sensor Placement☆19Aug 22, 2025Updated last year
- ☆26Mar 21, 2024Updated 2 years ago
- AutoDRIVE-Autoware Development & Integration☆17Oct 10, 2025Updated last year
- Mixed integer programming for computing lipschitz constants of ReLU Networks☆17Feb 10, 2023Updated 3 years ago
- [CHIL 2024] Interpretation of Intracardiac Electrograms Through Textual Representations☆12Sep 4, 2024Updated 2 years ago
- An infrastructure built using PyGame and OpenAI Gymnasium used to train robots within a social navigation context with a wide range of hu…☆17Sep 10, 2025Updated last year
- ☆21Feb 22, 2025Updated last year