Skip to content
@aria-systems-group

ARIA Systems Group

Popular repositories Loading

  1. Chance-Constrained-K-CBS Chance-Constrained-K-CBS Public

    Kinodynamic-CBS (K-CBS) is a decentralized motion planning algorithm capable of solving complex multi-agent motion planning queries for agent with complex, possibly unique, kinodynamic constraints.

    C++ 13 3

  2. Multi-Robot-OMPL Multi-Robot-OMPL Public

    Forked from ompl/ompl

    Our implementation of Kinodynamic Conflict Based Search (K-CBS) inside the The Open Motion Planning Library (OMPL)

    C++ 13 5

  3. K-CBS-Demos K-CBS-Demos Public

    Demonstrations of our Kinodynamic Conflict-Based Search algorithm that are too involved to be included in OMPL.

    C++ 8 4

  4. NeuralNetControlBarrier NeuralNetControlBarrier Public

    We introduce a method of safety certification and control for Neural Network Dynamic Models (NNDMs) via stochastic barrier functions.

    Julia 7 3

  5. Explanation-Guided-CBS Explanation-Guided-CBS Public

    Our implementation of Explanation-Guided CBS (XG-CBS) inside C++.

    C++ 4 2

  6. Kino-PAX Kino-PAX Public

    Kinodyanmic Parallel Accelerated eXpansion

    Cuda 4

Repositories

Showing 10 of 32 repositories
  • PDDLtoSim Public

    Source code for abstraction construction from PDDL, strategy synthesis, and visualization using Pybullet

    aria-systems-group/PDDLtoSim’s past year of commit activity
    Python 2 MIT 0 2 0 Updated Nov 8, 2024
  • regret_synthesis_toolbox Public

    Source code for Regret synthesis for two-player turn-based game played on graphs - ICRA 22

    aria-systems-group/regret_synthesis_toolbox’s past year of commit activity
    Python 0 MIT 0 1 0 Updated Nov 8, 2024
  • NeuralNetControlBarrier Public

    We introduce a method of safety certification and control for Neural Network Dynamic Models (NNDMs) via stochastic barrier functions.

    aria-systems-group/NeuralNetControlBarrier’s past year of commit activity
    Julia 7 MIT 3 0 0 Updated Sep 30, 2024
  • Kino-PAX Public

    Kinodyanmic Parallel Accelerated eXpansion

    aria-systems-group/Kino-PAX’s past year of commit activity
    Cuda 4 MIT 0 0 0 Updated Sep 9, 2024
  • website Public

    Lab website 2.0

    aria-systems-group/website’s past year of commit activity
    SCSS 1 MIT 8 1 1 Updated Jul 25, 2024
  • HSVI-RP Public
    aria-systems-group/HSVI-RP’s past year of commit activity
    Julia 0 0 0 0 Updated Jul 23, 2024
  • MAPF-PC Public Forked from HanZhang39/MAPF-PC

    Forked version of the original MAPF-PC repository to be used for Efficient LTL + MAPF Planning.

    aria-systems-group/MAPF-PC’s past year of commit activity
    C++ 0 9 0 0 Updated Jun 19, 2024
  • sym_quant_reactive_synth Public

    Symbolic Regret synthesis and graph search

    aria-systems-group/sym_quant_reactive_synth’s past year of commit activity
    Python 0 MIT 0 2 0 Updated May 8, 2024
  • aria-systems-group/TransitionIntervals.jl’s past year of commit activity
    Julia 1 MIT 0 0 0 Updated Mar 11, 2024
  • aria-systems-group/Delay-Robust-MAPF’s past year of commit activity
    C++ 1 0 0 0 Updated Feb 16, 2024

Top languages

Loading…

Most used topics

Loading…