Pinned Repositories
beacls
Classification_Based_Reachability
Vicenç Rubies Royo, David Fridovich-Keil, Sylvia Herbert, and Claire J. Tomlin, "Classification-based Approximate Reachability with Guarantees Applied to Safe Trajectory Tracking." IEEE International Conference on Intelligent Robots, 2019
crazyflie_clean
A clean, extensible toolbox for running experiments on the Crazyflie 2.0 quadrotor.
discriminating-hyperplane
Source code of "Safety Filters for Black-Box Dynamical Systems by Learning Discriminating Hyperplanes"
fastrack
A ROS implementation of Fast and Safe Tracking (FaSTrack).
helperOC
ilqgames
Iterative Linear-Quadratic Games!
meta_fastrack
ROS implementation of meta planning + FaSTrack!
MRAGs
Multiplayer reach-avoid games
safety_rl
HJ Reachability Group's Repositories
HJReachability/ilqgames
Iterative Linear-Quadratic Games!
HJReachability/helperOC
HJReachability/fastrack
A ROS implementation of Fast and Safe Tracking (FaSTrack).
HJReachability/beacls
HJReachability/safety_rl
HJReachability/crazyflie_clean
A clean, extensible toolbox for running experiments on the Crazyflie 2.0 quadrotor.
HJReachability/meta_fastrack
ROS implementation of meta planning + FaSTrack!
HJReachability/discriminating-hyperplane
Source code of "Safety Filters for Black-Box Dynamical Systems by Learning Discriminating Hyperplanes"
HJReachability/Classification_Based_Reachability
Vicenç Rubies Royo, David Fridovich-Keil, Sylvia Herbert, and Claire J. Tomlin, "Classification-based Approximate Reachability with Guarantees Applied to Safe Trajectory Tracking." IEEE International Conference on Intelligent Robots, 2019
HJReachability/MRAGs
Multiplayer reach-avoid games
HJReachability/Tracking
HJReachability/learning_feedback_linearization
System identification via feedback linearization.
HJReachability/faSTPeople
FaSTrack + STP + people, oh my!
HJReachability/STP
Sequential trajectory planning
HJReachability/UTM
HJReachability/ilqgames_ros
ROS wrappers for ILQGames.
HJReachability/Quadruped-Unsupervised_Object_Discovery
Developed an LLM-aware computer vision algorithm - dependent on physically probing the built environment - equipping a quadruped unmanned ground vehicle (UGV) for unsupervised object detection.