@Article{         AlmagorKupfermanVelner,
  Author        = "Almagor, Shaull and Kupferman, Orna and Velner, Yaron",
  Abstract      = "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 contains both Boolean requirements that should be satisfied against an adversarial environment, and multi-valued components that refer to the quality of the satisfaction and whose expected cost we would like to minimize with respect to a probabilistic environment.",
  date-added    = "2016-04-26 09:01:46 +0000",
  date-modified = "2016-04-26 09:01:46 +0000",
  EPrint        = "1604.07064",
  Month         = "04",
  Title         = "Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis",
  URL           = "http://arxiv.org/abs/1604.07064",
  Year          = "2016",
  bdsk-url-1    = "http://arxiv.org/abs/1604.07064",
  File          = "Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis - Almagor, Kupferman, Velner (1) (0) - a - a - c.pdf"
}

@Article{ AlmagorKupfermanVelner, Author = "Almagor, Shaull and Kupferman, Orna and Velner, Yaron", Abstract = "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 contains both Boolean requirements that should be satisfied against an adversarial environment, and multi-valued components that refer to the quality of the satisfaction and whose expected cost we would like to minimize with respect to a probabilistic environment.", date-added = "2016-04-26 09:01:46 +0000", date-modified = "2016-04-26 09:01:46 +0000", EPrint = "1604.07064", Month = "04", Title = "Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis", URL = "http://arxiv.org/abs/1604.07064", Year = "2016", bdsk-url-1 = "http://arxiv.org/abs/1604.07064", File = "Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis - Almagor, Kupferman, Velner (1) (0) - a - a - c.pdf" }