Israel Software Lab / Department of Computer Science / Science Institute / Japan Advanced Institute of Science and Technology / Hadas Shachnai Department / Department of Electrical Engineering / Department of Computer Science and Engineering / Tel-Aviv University / Tel-Aviv / University of Iceland / Technion / University of California at San Diego / /