Dynamic abstraction in reinforcement learning via clustering S Mannor, I Menache, A Hoze, U Klein Proceedings of the twenty-first international conference on Machine learning, 71, 2004 | 328 | 2004 |
Revisiting synthesis of GR (1) specifications U Klein, A Pnueli Haifa Verification Conference, 161-181, 2010 | 63 | 2010 |
Formalization and automated verification of RESTful behavior U Klein, KS Namjoshi Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 30 | 2011 |
Identifying employees for re-skilling using an analytics-based approach KN Ramamurthy, M Singh, M Davis, JA Kevern, U Klein, M Peran 2015 IEEE International Conference on Data Mining Workshop (ICDMW), 345-354, 2015 | 23 | 2015 |
Effective synthesis of asynchronous systems from GR (1) specifications U Klein, N Piterman, A Pnueli Verification, Model Checking, and Abstract Interpretation: 13th …, 2012 | 17 | 2012 |
Synthesis of programs from temporal property specifications A Pnueli, U Klein 2009 7th IEEE/ACM International Conference on Formal Methods and Models for …, 2009 | 16 | 2009 |
Automated abnormality detection in service networks P Arora, JA DeBusk, R Ezry, M Goyal, C Gupta, U Klein US Patent 9,906,543, 2018 | 11 | 2018 |
Method and system to overlay charts BH Cruse, U Klein US Patent 11,798,207, 2023 | | 2023 |
System and method for generating a two-dimensional selectable user experience element BH Cruse, U Klein US Patent 11,743,318, 2023 | | 2023 |
Method and system for real-time analytic of time series data A Fitzgerald, U Klein, J Savoca, R Bondi, H Conway, R Una, A Hammad, ... US Patent App. 17/452,688, 2023 | | 2023 |
Systems and Methods for Intelligent Fraud Detection U Ryan, M Takamatsu, U Klein, J Phullar, R Peralta, R Madhavan, ... US Patent App. 17/822,359, 2023 | | 2023 |
System and method for generating a two-dimensional selectable user experience element BH Cruse, U Klein US Patent 11,399,080, 2022 | | 2022 |
Automated abnormality detection in service networks P Arora, JA DeBusk, R Ezry, M Goyal, C Gupta, U Klein US Patent 10,902,102, 2021 | | 2021 |
Formalization and Automated Verification of RESTful Behavior: CIMS, NYU-Technical Report TR2011-938 (an extended version of a CAV\'11 paper) U Klein, KS Namjoshi Tech Reports - NYU Courant, Computer Science Department: https://cs.nyu.edu …, 2011 | | 2011 |
Effective Synthesis of Asynchronous Systems from GR (1) Specifications: CIMS, NYU-Technical Report TR2011-944 (an extended version of a VMCAI\'12 paper) U Klein, N Piterman, A Pnueli Tech Reports - NYU Courant, Computer Science Department: https://cs.nyu.edu …, 2011 | | 2011 |