ARIA Systems Group

125 subscribers

31 videos

We are a group of robot enthusiasts in the Department of Aerospace Engineering Sciences at the University of Colorado Boulder set on developing Assured, Reli...

Latest Videos

Beyond winning strategies admissible and adm winning strategies for quantitative reachability games

Error Bounds For Gaussian Process Regression Under Bounded Support Noise

Case studies for Online Pareto-Optimal Decision-Making for Complex Tasks using Active Inference

Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems

Optimal Planning for Timed Partial Order Specifications

Stochastic Games for Interactive Manipulation Domains

Chance-Constrained Multi-Robot Motion Planning Under Gaussian Uncertainties

Optimal Planning for Timed Partial Order Specifications - Aircraft Turnaround Demo

Stochastic Games for Interactive Manipulation Domains - Case Studies

Explainable MAPF - Goals and Illustrations

Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems - Case Studies

Case Studies for Optimal Cost-Preference Trade-off Planning with Multiple Temporal Tasks

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions

Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications

Pareto Optimal Strategies for Event Triggered Estimation

Conflict-based Search for Multi-Robot Motion Planning with Kinodynamic Constraints

Conflict-Based Search for Explainable Multi-Agent Path Finding

Gaussian Belief Trees for Chance Constrained Asymptotically Optimal Motion Planning

Let’s Collaborate Regret-based Reactive Synthesis for Robotic Manipulation

Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression

Probabilistic Specification Learning for Planning with Safety Constraints

Case Studies for Probabilistic Specification Learning for Planning with Safety Constraints

Towards Safe, Abstraction-based Online Learning and Synthesis for Unknown System

Strategy Synthesis for Partially-known Switched Stochastic Systems

Introduction to ARIA Systems Group

Finite-Horizon Synthesis for Probabilistic Manipulation Domains

MAPS-X Explainable Multi-Robot Motion Planning via Segmentation

Explainable Multi Agent Path Finding

Explainable Multi-Agent Motion Planning

Safety verification of unknown dynamical systems via gaussian process regression