Skip to content

@aria-systems-group ARIA Systems Group

Change the repository type filter

All

    Repositories list

    36 repositories

    • sym_quant_reactive_synth

      Public
      Symbolic Regret synthesis and graph search
      bddpddltwo-player-gamesymbolic-graphs
      Python
      •
      MIT License
      •1•0•2•0•Updated Feb 20, 2026Feb 20, 2026

    • website

      Public
      Lab website 2.0
      TeX
      •
      MIT License
      •9•1•1•0•Updated Feb 20, 2026Feb 20, 2026

    • StochasticBarrier.jl

      Public
      Constructing a piecewise barrier
      Julia
      •0•0•0•0•Updated Feb 2, 2026Feb 2, 2026

    • pinn_pde

      Public
      Python
      •0•0•0•0•Updated Jan 22, 2026Jan 22, 2026

    • wombats_experiments

      Public
      Experiments with the flexfringe and wombats grammatical inference frameworks
      Jupyter Notebook
      •2•0•0•0•Updated Dec 25, 2025Dec 25, 2025

    • fault_id_basilisk

      Public
      Astrodynamics simulation framework
      C
      •
      ISC License
      •100•0•0•0•Updated Sep 8, 2025Sep 8, 2025

    • HSVI-RP

      Public
      Julia
      •0•0•0•0•Updated Jun 16, 2025Jun 16, 2025

    • regret_synthesis_toolbox

      Public
      Source code for Regret synthesis for two-player turn-based game played on graphs - ICRA 22
      roboticsgame-theoryformal-methodsregret-minimizationregret-games
      Python
      •
      MIT License
      •0•0•1•0•Updated Jun 8, 2025Jun 8, 2025

    • PDDLtoSim

      Public
      Source code for abstraction construction from PDDL, strategy synthesis, and visualization using Pybullet
      pddltwo-player-gamefond-planning
      Python
      •
      MIT License
      •0•3•2•0•Updated May 11, 2025May 11, 2025

    • fault_id

      Public
      MATLAB
      •0•0•0•0•Updated Mar 31, 2025Mar 31, 2025

    • wombats

      Public
      The wombats grammatical inference library.
      Python
      •4•0•1•0•Updated Mar 5, 2025Mar 5, 2025

    • NeuralNetControlBarrier

      Public
      We introduce a method of safety certification and control for Neural Network Dynamic Models (NNDMs) via stochastic barrier functions.
      Julia
      •
      MIT License
      •3•9•0•0•Updated Sep 30, 2024Sep 30, 2024

    • Kino-PAX

      Public
      Kinodyanmic Parallel Accelerated eXpansion
      Cuda
      •
      MIT License
      •1•13•0•0•Updated Sep 9, 2024Sep 9, 2024

    • berry-er

      Public
      Verification toolbox for stochastic systems using Bernstein Polynomials
      C++
      •0•0•0•0•Updated Sep 6, 2024Sep 6, 2024

    • MAPF-PC

      Public
      Forked version of the original MAPF-PC repository to be used for Efficient LTL + MAPF Planning.
      C++
      •
      Other
      •12•0•0•0•Updated Jun 19, 2024Jun 19, 2024

    • TransitionIntervals.jl

      Public
      Julia
      •
      MIT License
      •1•1•0•0•Updated Mar 11, 2024Mar 11, 2024

    • Delay-Robust-MAPF

      Public
      C++
      •
      Other
      •2•1•0•0•Updated Feb 16, 2024Feb 16, 2024

    • K-CBS-Demos

      Public
      Demonstrations of our Kinodynamic Conflict-Based Search algorithm that are too involved to be included in OMPL.
      C++
      •
      BSD 2-Clause "Simplified" License
      •4•11•0•0•Updated Feb 7, 2024Feb 7, 2024

    • Multi-Robot-OMPL

      Public
      Our implementation of Kinodynamic Conflict Based Search (K-CBS) inside the The Open Motion Planning Library (OMPL)
      C++
      •
      Other
      •672•17•4•0•Updated Feb 5, 2024Feb 5, 2024

    • Congestion-MAPF

      Public
      Congestion MAPF is a new project of ours where instead of minimizing common cost metrics such as SOC, or makespan, we want to minimize the "congestion" of the p…
      C++
      •
      Other
      •42•0•0•0•Updated Jan 24, 2024Jan 24, 2024

    • 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, poss…
      C++
      •
      GNU General Public License v3.0
      •3•17•3•0•Updated Dec 28, 2023Dec 28, 2023

    • Formal-Deep-Kernel-Synthesis

      Public
      Python
      •1•2•0•0•Updated Sep 11, 2023Sep 11, 2023

    • Explanation-Guided-CBS

      Public
      Our implementation of Explanation-Guided CBS (XG-CBS) inside C++.
      C++
      •2•5•0•0•Updated Aug 26, 2023Aug 26, 2023

    • LearningAbstractions.jl

      Public
      Julia
      •
      MIT License
      •0•0•0•14•Updated Aug 10, 2023Aug 10, 2023

    • prism-docker

      Public
      Dockerfile for prism
      Python
      •0•0•0•0•Updated Jul 24, 2023Jul 24, 2023

    • StoRI

      Public
      C++
      •2•2•0•0•Updated May 27, 2023May 27, 2023

    • PosteriorBounds.jl

      Public
      Quickly compute bounds for posterior mean and covariance functions
      Julia
      •
      MIT License
      •0•0•0•0•Updated Apr 18, 2023Apr 18, 2023

    • OnlineHybridControl.jl

      Public
      Framework for online control of a system with continuous and discrete states
      Julia
      •
      MIT License
      •0•0•0•0•Updated Mar 29, 2023Mar 29, 2023

    • Fault-Identification-via-Bayesian-Inference

      Public
      Our implementation of a M-ary Bayesian Hypothesis Testing framework for online autonomous system validation in the presence of process and sensor noise.
      Python
      •
      ISC License
      •0•1•0•0•Updated Feb 21, 2023Feb 21, 2023

    • dfasat

      Public
      *Fork* flexfringe is a tool for learning finite state machines, also known as deterministic finite automata. It brings common merge heuristics such as alergia, …
      C++
      •
      Other
      •1•0•0•0•Updated May 22, 2022May 22, 2022