Kupferman, Orna

1. Rational Synthesis
   2009/07/17 by Dana Fisman, Fisman, Dana, Orna Kupferman +3 · 3 citations
   Engineering · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Systems Engineering Methodologies and Applications
2. What Causes a System to Satisfy a Specification?
   2003/12/17 by Hana Chockler, Joseph Y. Halpern, Chockler, Hana +3 · 3 citations
   Computer Science · #Formal Methods in Verification #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #cs.AI #cs.LO
3. Discounting in LTL
   2014/06/17 by Shaull Almagor, Almagor, Shaull, Udi Boker +3 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Model-Driven Software Engineering Techniques