Shaull Almagor | DeepAI

AI Chat

Featured Co-authors

James Worrell
37 publications
Guillermo A. Perez
32 publications
Oren Salzman
31 publications
Joël Ouaknine
29 publications
Morteza Lahijanian
22 publications
Rajeev Alur
17 publications
Mahsa Shirmohammadi
14 publications
Dmitry Chistikov
11 publications
Suguman Bansal
10 publications
Arka Ghosh
7 publications
Edon Kelmendi
7 publications

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

∙ 10/03/2022

The Geometry of Reachability in Continuous Vector Addition Systems with States

We study the geometry of reachability sets of continuous vector addition...

0 Shaull Almagor, et al. ∙

∙ 07/06/2022

Concurrent Games with Multiple Topologies

Concurrent multi-player games with ω-regular objectives are a standard m...

0 Shaull Almagor, 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. ∙

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

∙ 05/04/2021

Simulation by Rounds of Letter-to-Letter Transducers

Letter-to-letter transducers are a standard formalism for modeling react...

0 Antonio Abu Nassar, 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. ∙

∙ 10/27/2020

Deciding ω-Regular Properties on Linear Recurrence Sequences

We consider the problem of deciding ω-regular properties on infinite tra...

0 Shaull Almagor, et al. ∙

∙ 07/23/2020

Process Symmetry in Probabilistic Transducers

Model checking is the process of deciding whether a system satisfies a g...

0 Shaull Almagor, et al. ∙

∙ 04/24/2020

Invariants for Continuous Linear Dynamical Systems

Continuous linear dynamical systems are used extensively in mathematics,...

0 Shaull Almagor, et al. ∙

∙ 02/18/2019

Coverability in 1-VASS with Disequality Tests

We show that the control-state reachability problem for one-dimensional ...

0 Shaull Almagor, et al. ∙

∙ 01/30/2019

The Semialgebraic Orbit Problem

The Semialgebraic Orbit Problem is a fundamental reachability question t...

0 Shaull Almagor, et al. ∙

∙ 09/27/2018

Equilibria in Quantitative Concurrent Games

Synthesis of finite-state controllers from high-level specifications in ...

0 Shaull Almagor, et al. ∙

∙ 06/20/2018

Effective Divergence Analysis for Linear Recurrence Sequences

We study the growth behaviour of rational linear recurrence sequences. W...

0 Shaull Almagor, et al. ∙

∙ 02/26/2018

O-Minimal Invariants for Linear Loops

The termination analysis of linear loops plays a key role in several are...

0 Shaull Almagor, et al. ∙

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