research
∙
09/12/2023
Promises of Deep Kernel Learning for Control Synthesis
Deep Kernel Learning (DKL) combines the representational power of neural...
share
research
∙
07/20/2023
Introducing Delays in Multi-Agent Path Finding
We consider a Multi-Agent Path Finding (MAPF) setting where agents have ...
research
∙
06/22/2023
Optimal Cost-Preference Trade-off Planning with Multiple Temporal Tasks
Autonomous robots are increasingly utilized in realistic scenarios with ...
research
∙
06/19/2023
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming
In this paper, we introduce BNN-DP, an efficient algorithmic framework f...
research
∙
04/14/2023
Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems
This paper introduces a sampling-based strategy synthesis algorithm for ...
research
∙
03/20/2023
Chance-Constrained Multi-Robot Motion Planning under Gaussian Uncertainties
We consider a chance-constrained multi-robot motion planning problem in ...
research
∙
03/07/2023
Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks
This work introduces efficient symbolic algorithms for quantitative reac...
research
∙
11/02/2022
Interval Markov Decision Processes with Continuous Action-Spaces
Interval Markov Decision Processes (IMDPs) are uncertain Markov models, ...
research
∙
10/18/2022
Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides
This paper presents a new multi-layered algorithm for motion planning un...
research
∙
10/13/2022
Chance-Constrained Motion Planning with Event-Triggered Estimation
We consider the problem of autonomous navigation using limited informati...
research
∙
10/10/2022
Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic
In this work, we present a novel robustness measure for continuous-time ...
research
∙
07/08/2022
Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications
This paper presents an algorithmic framework for control synthesis of co...
research
∙
07/01/2022
Conflict-based Search for Multi-Robot Motion Planning with Kinodynamic Constraints
Multi-robot motion planning (MRMP) is the fundamental problem of finding...
research
∙
06/15/2022
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
Neural Networks (NNs) have been successfully employed to represent the s...
research
∙
03/14/2022
Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation
As robots gain capabilities to enter our human-centric world, they requi...
research
∙
02/24/2022
Gaussian Belief Trees for Chance Constrained Asymptotically Optimal Motion Planning
In this paper, we address the problem of sampling-based motion planning ...
research
∙
02/20/2022
Conflict-Based Search for Explainable Multi-Agent Path Finding
In the Multi-Agent Path Finding (MAPF) problem, the goal is to find non-...
research
∙
12/31/2021
Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
Leveraging autonomous systems in safety-critical scenarios requires veri...
research
∙
10/30/2020
MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation
Traditional multi-robot motion planning (MMP) focuses on computing traje...
research
∙
09/23/2020
LTLf Synthesis on Probabilistic Systems
Many systems are naturally modeled as Markov Decision Processes (MDPs), ...
research
∙
04/26/2020
Online Mapping and Motion Planning under Uncertainty for Safe Navigation in Unknown Environments
Safe autonomous navigation is an essential and challenging problem for r...
research
∙
07/22/2019