Skip to content
Change the repository type filter

All

    Repositories list

    • Small utility codes for field testing and demonstrations
      Python
      0000Updated Oct 16, 2025Oct 16, 2025
    • Official Implementation of Feature Extractor for DFLIOM
      Python
      76910Updated Oct 7, 2025Oct 7, 2025
    • Python
      0000Updated Oct 1, 2025Oct 1, 2025
    • SPARTA

      Public
      Official Repository for CoRL 2025 paper: "Learning Smooth State-Dependent Traversability from Dense Point Clouds".
      Python
      0200Updated Sep 21, 2025Sep 21, 2025
    • Docker images that containerize stacks. Currently contianing the rouster driver, dliom, and scout robot stack. More to come...
      Shell
      0000Updated Aug 13, 2025Aug 13, 2025
    • SCSS
      0000Updated Jul 18, 2025Jul 18, 2025
    • Implementation of "Contingency Constrained Planning with MPPI within MPPI"
      Python
      3800Updated May 29, 2025May 29, 2025
    • 0000Updated Apr 25, 2025Apr 25, 2025
    • ReBAR

      Public
      Implementation for paper "Collision Avoidance Verification of Multi-agent Systems with Learned Policies".
      Python
      0400Updated Dec 8, 2024Dec 8, 2024
    • Build high-quality Laplace matrices on meshes and point clouds in Python. Implements [Sharp & Crane SGP 2020].
      C++
      21000Updated Nov 21, 2024Nov 21, 2024
    • Formal Verification of Neural Feedback Loops (NFLs)
      Python
      168201Updated Sep 12, 2024Sep 12, 2024