Skip to content
Change the repository type filter

All

    Repositories list

    • C++
      MIT License
      3401Updated Nov 18, 2024Nov 18, 2024
    • 16-714

      Public
      Course material for 16-714 Advanced Control for Robotics
      MATLAB
      0310Updated Nov 15, 2024Nov 15, 2024
    • CMake
      MIT License
      0100Updated Nov 14, 2024Nov 14, 2024
    • Jupyter Notebook
      MIT License
      1800Updated Nov 13, 2024Nov 13, 2024
    • Python
      MIT License
      0100Updated Nov 5, 2024Nov 5, 2024
    • Python
      MIT License
      0600Updated Nov 5, 2024Nov 5, 2024
    • This is the official code for CoRL 2024 work "Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation".
      Jupyter Notebook
      MIT License
      0400Updated Oct 5, 2024Oct 5, 2024
    • This is the official Github Repo for the paper Robustifying Human-Robot Collaboration through a Hierarchical and Multimodal Framework.
      Python
      MIT License
      0200Updated Oct 3, 2024Oct 3, 2024
    • LEGO_APP

      Public
      Python
      MIT License
      0000Updated Oct 1, 2024Oct 1, 2024
    • This repository contains the C++ controller for controlling the Fanuc robots using the Stream Motion interface.
      C++
      MIT License
      0500Updated Sep 29, 2024Sep 29, 2024
    • C++
      BSD 2-Clause "Simplified" License
      0000Updated Sep 25, 2024Sep 25, 2024
    • the source code of Absolute State-wise Constrained Policy Optimization
      Python
      MIT License
      0000Updated Sep 24, 2024Sep 24, 2024
    • guard

      Public
      Python
      MIT License
      64200Updated Aug 21, 2024Aug 21, 2024
    • Julia
      MIT License
      0200Updated Jul 30, 2024Jul 30, 2024
    • Benchmark for planner, controller, model, estimator etc.
      Python
      MIT License
      1850Updated Jul 24, 2024Jul 24, 2024
    • guardX

      Public
      In the enhanced GUARD environment, RL training benefits from the power of GPU parallelization, enabling the training of RL agents in a matter of minutes.
      Python
      0300Updated May 31, 2024May 31, 2024
    • BOND

      Public
      This is the official code for L4DC 2024 paper "Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation"
      Julia
      MIT License
      0100Updated May 19, 2024May 19, 2024
    • Methods to soundly verify deep neural networks
      Julia
      MIT License
      50400Updated May 18, 2024May 18, 2024
    • The source code of Absolute Policy Optimization
      Python
      MIT License
      0300Updated Feb 14, 2024Feb 14, 2024
    • [CoRL 2023] Online Model Adaptation with Feedforward Compensation
      Python
      MIT License
      1300Updated Oct 19, 2023Oct 19, 2023
    • Python
      MIT License
      5100Updated Oct 19, 2023Oct 19, 2023
    • the code of ACC 2023, Safety Index Synthesis via Sum of Squares Programming
      MATLAB
      0100Updated Sep 26, 2023Sep 26, 2023
    • Jupyter Notebook
      0100Updated Aug 24, 2023Aug 24, 2023
    • Python
      MIT License
      1900Updated Jun 29, 2023Jun 29, 2023
    • This repo is the code deliverable for 2022-23 Siemens project phase 2.
      C++
      0400Updated Jun 11, 2023Jun 11, 2023
    • C++
      0010Updated Mar 16, 2023Mar 16, 2023
    • Autoenv

      Public
      An integrated environment for autonomous driving simulation
      Python
      MIT License
      1413Updated Mar 15, 2023Mar 15, 2023
    • MIT License
      0000Updated Dec 1, 2022Dec 1, 2022
    • MATLAB
      GNU General Public License v2.0
      1200Updated Aug 9, 2022Aug 9, 2022
    • Python
      0000Updated Jun 20, 2022Jun 20, 2022