HongchaoZhang-HZ / exactverif-reluncbf-nips23View external linksLinks
Exact Verification of ReLU Neural Control Barrier Functions
☆11Oct 13, 2023Updated 2 years ago
Alternatives and similar repositories for exactverif-reluncbf-nips23
Users that are interested in exactverif-reluncbf-nips23 are comparing it to the libraries listed below
Sorting:
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- DSVerifier - Digital Systems Verifier☆11Feb 22, 2019Updated 6 years ago
- A tool for modifying reinforcement learning environments to incorporate Signal Temporal Logic (STL) specifications in the reward function…☆12Jan 16, 2023Updated 3 years ago
- 本工作以大型民用客机波音747-100为研究对象，建立了自动飞行控制系统的整体数学模型，并对飞行过程进行综合数字仿真。This work takes the large civil airliner Boeing 747-100 as the research object…☆19Mar 26, 2024Updated last year
- Automated Analysis Framework for Simulink/Stateflow☆16Jul 25, 2023Updated 2 years ago
- Synthesis of control barrier functions with SOS☆15Sep 9, 2023Updated 2 years ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python☆19Jan 16, 2026Updated last month
- ☆27Sep 27, 2024Updated last year
- ☆35May 8, 2019Updated 6 years ago
- The latest source code of the tool Flow*☆28Jan 15, 2023Updated 3 years ago
- Drona is a programming framework for building safe robotics systems☆30Apr 29, 2022Updated 3 years ago
- ns3-simulator-for-satellite☆11Jul 29, 2022Updated 3 years ago
- ☆37Oct 5, 2020Updated 5 years ago
- ☆10Mar 24, 2025Updated 10 months ago
- Complete software package for the Iris Lunar Rover (CMU).☆16Oct 22, 2024Updated last year
- ☆12Apr 28, 2025Updated 9 months ago
- ☆12Jun 18, 2024Updated last year
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- Waterbody style transfer of underwater imagery (JOE 2025)☆26Dec 12, 2025Updated 2 months ago
- Code for controllers (PID, LQR) for flying quad-copter on various trajectories generated with way-points and dynamic constraints on MATLA…☆12Jan 19, 2019Updated 7 years ago
- Model Predictive Control of a quadrotor for trajectory tracking.☆13May 8, 2023Updated 2 years ago
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago
- Safe robot learning☆105Nov 21, 2024Updated last year
- Official Code Repository for Sim-to-Real Deep Reinforcement Learning for UAV Obstacle Avoidance Under Measurement Uncertainty☆16Jul 12, 2023Updated 2 years ago
- ☆11Jan 23, 2017Updated 9 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- Project in which an MPC controller using both state feedback and output feedback with disturbance rejection is design for the attitude dy…☆13Jul 3, 2024Updated last year
- Model Predictive Control-based Reinforcement Learning with Control Barrier Functions☆21Jan 16, 2026Updated last month
- Code repo for "S3R-Net: A Single-Stage Approach to Self-Supervised Shadow Removal" (NTIRE workshop @ CVPR 2024)☆11Jun 15, 2024Updated last year
- Open source simulator for autonomous vehicles built on Unreal Engine based on AirSim, new vehicle URDF Robot and FixedWing supported☆11Mar 31, 2025Updated 10 months ago
- Simulation Design of a Robotic Mobile Manipulator with Drone in Isaacsim.☆13Oct 8, 2024Updated last year
- [ISRR'22, Oral] Source code for paper, Monocular Camera and Single-Beam Sonar-Based Underwater Collision-Free Navigation with Domain Rand…☆11Jun 4, 2024Updated last year
- ☆18Jan 9, 2025Updated last year
- CAPD library☆16Jan 4, 2026Updated last month
- Point Cloud-Based Control Barrier Function Regression for Safe and Efficient Vision-Based Control☆17Nov 12, 2024Updated last year
- ☆12Sep 30, 2024Updated last year
- Successive Convexification for Nonlinear Model Predictive Control with Continuous-Time Constraint Satisfaction☆12May 3, 2025Updated 9 months ago
- Learning bisimulation metrics for control, particularly suited to sparse reward settings☆10Feb 28, 2023Updated 2 years ago