54 citations · 95 across the 24 of their papers we have counts for
4 papers · 1 filter
Equilibria in Quantitative Concurrent Games
Shaull Almagor, Rajeev Alur, Suguman Bansal
Synthesis of finite-state controllers from high-level specifications in multi-agent systems can be reduced to solving multi-player concurrent games over finite graphs. The complexi…
Effective Divergence Analysis for Linear Recurrence Sequences
Shaull Almagor, Brynmor Chapman, Mehran Hosseini +2
We study the growth behaviour of rational linear recurrence sequences. We show that for low-order sequences, divergence is decidable in polynomial time. We also exhibit a polynomia…
Weak Cost Register Automata are Still Powerful
Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki +1
We consider one of the weakest variants of cost register automata over a tropical semiring, namely copyless cost register automata over with updates using and i…
O-Minimal Invariants for Discrete-Time Dynamical Systems
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine +1
Termination analysis of linear loops plays a key rôle in several areas of computer science, including program verification and abstract interpretation. Already for the simplest var…