Skip to content

@UCSD-SASLab Safe Autonomous Systems Lab

Change the repository type filter

All

    Repositories list

    16 repositories

    • Infinite-Horizon-Reach-and-Stabilize-Avoid

      Public
      MATLAB implementation for solving infinite-horizon reach-avoid and stabilize-avoid problems using discounted reachability
      MATLAB
      •
      MIT License
      •0•0•0•0•Updated Jan 25, 2026Jan 25, 2026

    • reachavoid_sandbox

      Public
      Python
      •0•0•0•0•Updated Nov 8, 2025Nov 8, 2025

    • racbf_l4dc25

      Public
      PyTorch implementation of Soft Actor-Critic (SAC)
      Jupyter Notebook
      •
      MIT License
      •111•0•0•0•Updated Oct 27, 2025Oct 27, 2025

    • crazyflie_interface

      Public
      Built as a module to the crazyswarm2 repo & provides interface with pybullet_drones
      Python
      •0•0•0•0•Updated Sep 13, 2025Sep 13, 2025

    • crazyswarm2

      Public
      A Large Quadcopter Swarm
      Python
      •
      MIT License
      •376•0•0•0•Updated Sep 2, 2025Sep 2, 2025

    • refinecbf_ros2

      Public
      Interface with ROS2 HW packages
      Python
      •6•0•0•0•Updated Aug 20, 2025Aug 20, 2025

    • HopfReachability

      Public
      Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimization
      Julia
      •2•22•0•0•Updated Aug 14, 2025Aug 14, 2025

    • ros2-mocap_optitrack

      Public
      ROS2 package for motion capture with optitrack system
      C++
      •15•0•0•0•Updated Jan 17, 2025Jan 17, 2025

    • turtlebot

      Public
      The turtlebot stack provides all the basic drivers for running and using a TurtleBot.
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •314•0•0•0•Updated Nov 7, 2024Nov 7, 2024

    • Safe-Returning-FT

      Public
      MATLAB
      •0•2•0•0•Updated Aug 28, 2024Aug 28, 2024

    • refineCBF

      Public
      Python
      •7•25•0•0•Updated May 23, 2024May 23, 2024

    • refinecbf_ros

      Public
      Builds on top of crazyflie_clean to provide an easy to use interface for our lab setup and enables lower dimensional examples
      Python
      •6•2•0•0•Updated May 15, 2024May 15, 2024

    • motion_capture_tracking

      Public
      ROS Package for different motion capture systems, including custom rigid body tracking support
      C++
      •
      MIT License
      •38•0•0•0•Updated Apr 17, 2024Apr 17, 2024

    • crazyflie_clean

      Public
      A clean, extensible toolbox for running experiments on the Crazyflie 2.0 quadrotor.
      C++
      •
      Other
      •13•1•0•1•Updated Mar 18, 2024Mar 18, 2024

    • mocap_ros

      Public
      ROS driver for the NatNet 4.0 protocol used for the OptiTrack motion capture system and Motive application
      C++
      •
      GNU General Public License v3.0
      •22•1•0•0•Updated Jan 16, 2024Jan 16, 2024

    • HJ-Patch

      Public
      Python
      •
      MIT License
      •2•3•0•0•Updated Apr 18, 2023Apr 18, 2023