Orna Kupferman
- Alternating-time temporal logic
2002/09/01 by Rajeev Alur, Thomas A. Henzinger, Orna Kupferman · 46 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Logic, Reasoning, and Knowledge
- An automata-theoretic approach to branching-time model checking
2000/03/01 by Orna Kupferman, Moshe Y. Vardi, Pierre Wolper · 13 citations
Computer Science · Chemistry · #Formal Methods in Verification #Synthetic Organic Chemistry Methods #Software Testing and Debugging Techniques
- Rational Synthesis
2009/07/17 by Dana Fisman, Orna Kupferman, Fisman, Dana +3 · 2 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
- 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