☆43May 11, 2025Updated 9 months ago
Alternatives and similar repositories for beacls
Users that are interested in beacls are comparing it to the libraries listed below
Sorting:
- ☆92Jun 13, 2023Updated 2 years ago
- Optimizing Dynamic Programming-Based Algorithms☆130Sep 11, 2025Updated 5 months ago
- A ROS implementation of Fast and Safe Tracking (FaSTrack).☆78Aug 3, 2020Updated 5 years ago
- MPC trajectory tracking + reachability-based collision avoidance for pairwise vehicle interactions☆19Jul 10, 2020Updated 5 years ago
- Hamilton-Jacobi reachability analysis in JAX.☆170Nov 8, 2024Updated last year
- ROS implementation of meta planning + FaSTrack!☆16Sep 23, 2020Updated 5 years ago
- Official Code for the L4DC 2023 conference paper and ICLR 2023 NeSy-GeMs workshop paper.☆15Oct 17, 2023Updated 2 years ago
- Iterative Linear-Quadratic Games!☆185Jun 18, 2025Updated 8 months ago
- Nonlinear Distributionally-Robust MPC via Risk-Sensitive Optimal Control in Julia☆21Aug 9, 2021Updated 4 years ago
- ☆22Jun 23, 2021Updated 4 years ago
- Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov Function (CLF) based control methods.☆355Jun 30, 2024Updated last year
- Top-view trajectory data of pedestrians in crowd under vehicle influence in everyday campus scenarios☆64Apr 19, 2019Updated 6 years ago
- Density Order Embeddings☆33May 15, 2019Updated 6 years ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆28Mar 21, 2023Updated 2 years ago
- Tutorials for SCPToolbox.jl☆34Feb 22, 2022Updated 4 years ago
- ☆33Jan 7, 2021Updated 5 years ago
- Efficient Robustness Verification for ReLU networks (this repository is outdated, don't use; checkout our new implementation at https://g…☆30Nov 1, 2019Updated 6 years ago
- Implementation of SHARP: Shielding-Aware Robust Planning for Safe and Efficient Human-Robot Interaction - RAL 2022☆34Feb 10, 2023Updated 3 years ago
- ☆10Mar 24, 2025Updated 11 months ago
- Discriminating kernel algorithm implementation and neural network approximation, as presented in "Safe Motion Planning for Autonomous Dri…☆31Jun 28, 2020Updated 5 years ago
- ☆78Feb 24, 2024Updated 2 years ago
- ☆41Oct 18, 2018Updated 7 years ago
- Sequential Convex Programming Toolbox for nonconvex trajectory optimization.☆345Aug 7, 2023Updated 2 years ago
- Safe reinforcement learning with stability guarantees☆237Feb 8, 2022Updated 4 years ago
- Implementation of CPF clustering method.☆10May 7, 2025Updated 9 months ago
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago
- Robotarium quadcopter simulator in python.☆10Jan 10, 2022Updated 4 years ago
- Top-view trajectory data of pedestrians in groups under vehicle influence in controlled experiments☆38Apr 19, 2019Updated 6 years ago
- Repository for "Safe Occlusion-aware Autonomous Driving via Game-Theoretic Active Perception" - RSS 2021☆37Jul 22, 2022Updated 3 years ago
- High-performance interior-point-method QP and QCQP solvers☆667Feb 18, 2026Updated last week
- A Julia package for constrained iterative LQR (iLQR)☆44Mar 17, 2023Updated 2 years ago
- Code accompanying the CoRL 2020 paper "MATS: An Interpretable Trajectory Forecasting Representation for Planning and Control" by Boris Iv…☆42Jan 19, 2022Updated 4 years ago
- Course notes for AA203☆157May 7, 2020Updated 5 years ago
- Safe learning of regions of attraction in uncertain, nonlinear systems with Gaussian processes☆39Nov 30, 2019Updated 6 years ago
- ☆13Jun 29, 2023Updated 2 years ago
- a feature frontend for VINS☆10Aug 27, 2018Updated 7 years ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- ☆10Oct 12, 2021Updated 4 years ago