54 citations · 95 across the 24 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.CC2016★ 2 cited
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 .…
cs.LO2016
High-Quality Synthesis Against Stochastic Environments
Shaull Almagor, Orna Kupferman
In the classical synthesis problem, we are given an LTL formula psi over sets of input and output signals, and we synthesize a transducer that realizes psi. One weakness of automat…
cs.FL2016
Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis
Shaull Almagor, Orna Kupferman, Yaron Velner
In Boolean synthesis, we are given an LTL specification, and the goal is to construct a transducer that realizes it against an adversarial environment. Often, a specification conta…