
Simulation by Rounds of LettertoLetter Transducers
Lettertoletter transducers are a standard formalism for modeling react...
read it

MAPSX: Explainable MultiRobot Motion Planning via Segmentation
Traditional multirobot motion planning (MMP) focuses on computing traje...
read it

Deciding ωRegular Properties on Linear Recurrence Sequences
We consider the problem of deciding ωregular properties on infinite tra...
read it

Process Symmetry in Probabilistic Transducers
Model checking is the process of deciding whether a system satisfies a g...
read it

Invariants for Continuous Linear Dynamical Systems
Continuous linear dynamical systems are used extensively in mathematics,...
read it

Coverability in 1VASS with Disequality Tests
We show that the controlstate reachability problem for onedimensional ...
read it

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

Equilibria in Quantitative Concurrent Games
Synthesis of finitestate controllers from highlevel specifications in ...
read it

Effective Divergence Analysis for Linear Recurrence Sequences
We study the growth behaviour of rational linear recurrence sequences. W...
read it

OMinimal Invariants for Linear Loops
The termination analysis of linear loops plays a key role in several are...
read it
Shaull Almagor
is this you? claim profile