Dynamic abstraction in reinforcement learning via clustering. - Shie Mannor; Ishai Menache; Amit Hoze; Uri Klein (ICML, 2004)

Synthesis of programs from temporal property specifications. - Amir Pnueli; Uri Klein (MEMOCODE, 2009)

Revisiting Synthesis of GR(1) Specifications. - Uri Klein; Amir Pnueli (Haifa Verification Conference, 2010)

Formalization and Automated Verification of RESTful Behavior. - Uri Klein; Kedar S. Namjoshi (CAV, 2011)

Topics in Formal Synthesis and Modeling. - Uri Klein (2011)

Effective Synthesis of Asynchronous Systems from GR(1) Specifications. - Uri Klein; Nir Piterman; Amir Pnueli (VMCAI, 2012)

Identifying Employees for Re-skilling Using an Analytics-Based Approach. - Karthikeyan Natesan Ramamurthy; Moninder Singh; Michael Davis; J. Alex Kevern; Uri Klein; Michael Peran (ICDM Workshops, 2015)