2 citations · 2 across the 3 of their papers we have counts for
4 papers
Robin Hood Reachability Bidding Games
Shaull Almagor, Guy Avni, Neta Dafni
Two-player graph games are a fundamental model for reasoning about the interaction of agents. These games are played between two players who move a token along a graph. In bidding…
Jumping Automata over Infinite Words
Shaull Almagor, Omer Yizhaq
Jumping automata are finite automata that read their input in a non-consecutive manner, disregarding the order of the letters in the word. We introduce and study jumping automata o…
The Polytope-Collision Problem
Shaull Almagor, Joël Ouaknine, James Worrell
The Orbit Problem consists of determining, given a matrix and vectors , whether there exists such that .…
Discounting in LTL
Shaull Almagor, Udi Boker, Orna Kupferman
In recent years, there is growing need and interest in formalizing and reasoning about the quality of software and hardware systems. As opposed to traditional verification, where o…