ARIA Systems Group
- 17 followers
- Smead Aerospace Engineering Sciences at the University of Colorado Boulder
- http://www.AriaSystems.group
Popular repositories Loading
-
Chance-Constrained-K-CBS
Chance-Constrained-K-CBS PublicKinodynamic-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.
-
Multi-Robot-OMPL
Multi-Robot-OMPL PublicForked from ompl/ompl
Our implementation of Kinodynamic Conflict Based Search (K-CBS) inside the The Open Motion Planning Library (OMPL)
-
K-CBS-Demos
K-CBS-Demos PublicDemonstrations of our Kinodynamic Conflict-Based Search algorithm that are too involved to be included in OMPL.
-
NeuralNetControlBarrier
NeuralNetControlBarrier PublicWe introduce a method of safety certification and control for Neural Network Dynamic Models (NNDMs) via stochastic barrier functions.
-
Explanation-Guided-CBS
Explanation-Guided-CBS PublicOur implementation of Explanation-Guided CBS (XG-CBS) inside C++.
Repositories
- 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 - 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 - 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 - TransitionIntervals.jl Public
aria-systems-group/TransitionIntervals.jl’s past year of commit activity - Delay-Robust-MAPF Public
aria-systems-group/Delay-Robust-MAPF’s past year of commit activity