3 citations · 3 across the 2 of their papers we have counts for
3 papers
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…
cs.LO2009
Rational Synthesis
Dana Fisman, Orna Kupferman, Yoad Lustig
Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems often interact…
cs.LO2003★ 3 cited
What Causes a System to Satisfy a Specification?
Hana Chockler, Joseph Y. Halpern, Orna Kupferman
Even when a system is proven to be correct with respect to a specification, there is still a question of how complete the specification is, and whether it really covers all the beh…