aria-systems-group Goto Github PK

aria-website

bmdp-tool

Professor Lahijanian's C/MATLAB BMDP Tool

cautiousengine.jl

Julia package supporting my research endeavors in verification and synthesis.

chance-constrained-k-cbs

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.

congestion-mapf

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 plan.

crown-robustness-certification

CROWN: A Neural Network Verification Framework for Networks with General Activation Functions

delay-robust-mapf

dfasat

*Fork* flexfringe is a tool for learning finite state machines, also known as deterministic finite automata. It brings common merge heuristics such as alergia, EDSM, likelihood-ratio, and others, but also offers a flexible interface to easily add custom merge heuristics. It is based on Sicco Verwer's implementation of a state-merger in C++ called dfasat.

explanation-guided-cbs

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

fault-identification-via-bayesian-inference

Our implementation of a M-ary Bayesian Hypothesis Testing framework for online autonomous system validation in the presence of process and sensor noise.

formal-deep-kernel-synthesis

hsvi-rp

k-cbs-demos

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

learningabstractions.jl

mapf-pc

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

maps-x

Our implementation of MAPS-X

multi-robot-ompl

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

neuralnetcontrolbarrier

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

onlinehybridcontrol.jl

Framework for online control of a system with continuous and discrete states

pddltosim

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

posteriorbounds.jl

Quickly compute bounds for posterior mean and covariance functions

prism-docker

Dockerfile for prism

regret_synthesis_toolbox

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

ros_gazebo_webclient

ROS Noetic with Gazebo 11 web client

stochasticbarrier.jl

Constructing a piecewise barrier

stori

sym_quant_reactive_synth

Symbolic Regret synthesis and graph search

website

Lab website 2.0

wombats

The wombats grammatical inference library.

wombats_experiments

Experiments with the flexfringe and wombats grammatical inference frameworks