Morteza Lahijanian | DeepAI

DeepAI AI Chat

Featured Co-authors

Marta Kwiatkowska
51 publications
Moshe Y. Vardi
39 publications
Oren Salzman
31 publications
Nisar Ahmed
30 publications
Luca Laurenti
24 publications
Èric Pairet
18 publications
Lydia E. Kavraki
18 publications
Shaull Almagor
15 publications
Andrea Patane
14 publications
Manuel Mazo Jr
13 publications
Yvan Petillot
13 publications

∙ 09/12/2023

Promises of Deep Kernel Learning for Control Synthesis

Deep Kernel Learning (DKL) combines the representational power of neural...

0 Robert Reed, et al. ∙

∙ 07/20/2023

Introducing Delays in Multi-Agent Path Finding

We consider a Multi-Agent Path Finding (MAPF) setting where agents have ...

0 Justin Kottinger, et al. ∙

∙ 06/22/2023

Optimal Cost-Preference Trade-off Planning with Multiple Temporal Tasks

Autonomous robots are increasingly utilized in realistic scenarios with ...

0 Peter Amorese, et al. ∙

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

0 Steven Adams, et al. ∙

∙ 04/14/2023

Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems

This paper introduces a sampling-based strategy synthesis algorithm for ...

0 Qi Heng Ho, et al. ∙

∙ 03/20/2023

Chance-Constrained Multi-Robot Motion Planning under Gaussian Uncertainties

We consider a chance-constrained multi-robot motion planning problem in ...

0 Anne Theurkauf, et al. ∙

∙ 03/07/2023

Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks

This work introduces efficient symbolic algorithms for quantitative reac...

0 Karan Muvvala, et al. ∙

∙ 11/02/2022

Interval Markov Decision Processes with Continuous Action-Spaces

Interval Markov Decision Processes (IMDPs) are uncertain Markov models, ...

0 Giannis Delimpaltadakis, et al. ∙

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

0 Qi Heng Ho, et al. ∙

∙ 10/13/2022

Chance-Constrained Motion Planning with Event-Triggered Estimation

We consider the problem of autonomous navigation using limited informati...

0 Anne Theurkauf, et al. ∙

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

0 Roland B. Ilyes, et al. ∙

∙ 07/08/2022

Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications

This paper presents an algorithmic framework for control synthesis of co...

0 Qi Heng Ho, et al. ∙

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

0 Justin Kottinger, et al. ∙

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

0 Rayan Mazouz, et al. ∙

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

0 Karan Muvvala, et al. ∙

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

0 Qi Heng Ho, et al. ∙

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

0 Justin Kottinger, et al. ∙

∙ 12/31/2021

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression

Leveraging autonomous systems in safety-critical scenarios requires veri...

0 Luca Laurenti, et al. ∙

∙ 10/30/2020

MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation

Traditional multi-robot motion planning (MMP) focuses on computing traje...

0 Justin Kottinger, et al. ∙

∙ 09/23/2020

LTLf Synthesis on Probabilistic Systems

Many systems are naturally modeled as Markov Decision Processes (MDPs), ...

4 Andrew M. Wells, et al. ∙

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

0 Èric Pairet, et al. ∙

∙ 07/22/2019

Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture

Research into safety in autonomous and semi-autonomous vehicles has, so ...

0 Francisco Eiras, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world