Orna Kupferman - Selected Publications#

R. Alur, T.A. Henzinger, and O. Kupferman.
Alternating-time temporal logics.
Journal of the ACM, vol 49(5), September 2002.

O. Kupferman, M.Y. Vardi, and P. Wolper.
An automata-theoretic approach to branching-time model checking.
Journal of the ACM, vol 47(2), July 2000.

S. Almagor, U. Boker, and O. Kupferman.
Formalizing and reasoning about quality.
Proc. 40th International Colloquium on Automata, Languages and Programming (ICALP'13), LNCS 7966, pages 15-27, Springer, 2013. To appear in the Journal of the ACM.

O. Kupferman and M.Y. Vardi.
Safraless Decision Procedures.
In Proc. 46th IEEE Symposium on Foundations of Computer Science, pages 531-542, 2005.

G. Avni, O. Kupferman, and T. Tamir.
Network-formation games with regular objectives.
In Proc. 17th International Conference on Foundations of Software Science and Computation Structures, LNCS 8412, pages 119-133, 2014.

B. Aminof, O. Kupferman, and R. Lampert.
Reasoning about online algorithms with weighted automata.
ACM Transactions on Algorithms}, 6(2), 2010 (special issue for SODA'09).

D. Fisman, O. Kupferman, and Y. Lustig.
Rational synthesis.
In Proc. of the16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10), LNCS 6015, pages 190--204, Springer, 2010.

H. Chockler, O. Kupferman, and M.Y. Vardi.
Coverage metrics for temporal logic model checking.
Formal Methods in System Design, 28:189-212, May 2006.

O. Kupferman, A. Pnueli, and M.Y. Vardi.
Once and forall.
Journal and Computer and System Sciences, 78(3): 981-996, 2012.