1 citations · 1 across the 2 of their papers we have counts for
5 papers
Adapting Behaviors via Reactive Synthesis
Gal Amram, Suguman Bansal, Dror Fried +3
In the \emph{Adapter Design Pattern}, a programmer implements a \emph{Target} interface by constructing an \emph{Adapter} that accesses an existing \emph{Adaptee} code. In this wor…
Taming Discrete Integration via the Boon of Dimensionality
Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel
Discrete integration is a fundamental problem in computer science that concerns the computation of discrete sums over exponentially large sets. Despite intense interest from resear…
Functional Synthesis via Input-Output Separation
Supratik Chakraborty, Dror Fried, Lucas M. Tabajara +1
Boolean functional synthesis is the process of constructing a Boolean function from a Boolean specification that relates input and output variables. Despite significant recent deve…
An optimal approximation of discrete random variables with respect to the Kolmogorov distance
Liat Cohen, Dror Fried, Gera Weiss
We present an algorithm that takes a discrete random variable and a number and computes a random variable whose support (set of possible outcomes) is of size at most an…
Complexity of Canadian Traveler Problem Variants
Dror Fried, Solomon Eyal Shimony, Amit Benbassat +1
The Canadian traveler problem (CTP) is the problem of traversing a given graph, where some of the edges may be blocked - a state which is revealed only upon reaching an incident ve…