Researcher interests: Specification, verification, and synthesis of reactive systems. Modal and temporal logic. Automata on infinite objects. Concurrency. (Theoretical)
DEPARTMENT: Computer Science
Contact Business Development: Tamir Huberman

Selected Publications

Orna Kupferman, rachel faran
spanning the spectrum from safety to liveness (2018)| Acta Informatica| Read more
Orna Kupferman, rachel faran
ltl with arithmetic and its applications in reasoning about hierarchical systems (2018)| LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning| Read more
playing with the maximum flow problem (2018)| LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning| Read more
Hana Chockler, Orna Kupferman, shibashis guha
timed vacuity (2018)| FM 2018 : 22nd International Symposium on Formal Methods| Read more
giuseppe perelli, Orna Kupferman, Shaull Almagor
synthesis of controllable nash equilibria in games with quantitative objectives (2018)| IJCAI 2018: 27th International Joint Conference on Artificial Intelligence| Read more
giuseppe perelli, Orna Kupferman, Shaull Almagor
synthesis of controllable nash equilibria in quantitative objective game (2018)| Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence| Read more
guy avni, Orna Kupferman, shibashis guha
an abstraction refinement methodologyfor reasoning about network games (2018)| Games| Read more
gal vardi, Orna Kupferman
flow logic (2018)| arXiv: Logic in Computer Science| Read more
gal vardi, Orna Kupferman
on relative and probabilistic finite counterability ()| Formal Methods in System Design| Read more
Orna Kupferman, michal skrzypczak, Udi Boker
how deterministic are good for games automata ()| 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017)| Read more

Contact for more information:

Tamir Huberman
CIO
+972-2-6586678
Contact ME: