research
∙
07/20/2023
Introducing Delays in Multi-Agent Path Finding
We consider a Multi-Agent Path Finding (MAPF) setting where agents have ...
share
research
∙
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...
research
∙
07/06/2022
Concurrent Games with Multiple Topologies
Concurrent multi-player games with ω-regular objectives are a standard m...
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
∙
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
∙
05/04/2021
Simulation by Rounds of Letter-to-Letter Transducers
Letter-to-letter transducers are a standard formalism for modeling react...
research
∙
10/30/2020
MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation
Traditional multi-robot motion planning (MMP) focuses on computing traje...
research
∙
10/27/2020
Deciding ω-Regular Properties on Linear Recurrence Sequences
We consider the problem of deciding ω-regular properties on infinite tra...
research
∙
07/23/2020
Process Symmetry in Probabilistic Transducers
Model checking is the process of deciding whether a system satisfies a g...
research
∙
04/24/2020
Invariants for Continuous Linear Dynamical Systems
Continuous linear dynamical systems are used extensively in mathematics,...
research
∙
02/18/2019
Coverability in 1-VASS with Disequality Tests
We show that the control-state reachability problem for one-dimensional ...
research
∙
01/30/2019
The Semialgebraic Orbit Problem
The Semialgebraic Orbit Problem is a fundamental reachability question t...
research
∙
09/27/2018
Equilibria in Quantitative Concurrent Games
Synthesis of finite-state controllers from high-level specifications in ...
research
∙
06/20/2018
Effective Divergence Analysis for Linear Recurrence Sequences
We study the growth behaviour of rational linear recurrence sequences. W...
research
∙
02/26/2018