Edit Profile (opens in new tab) Elboher, Yizhak Yisrael Co-Author Distance Author ID: elboher.yizhak-yisrael Published as: Elboher, Yizhak Yisrael Documents Indexed: 2 Publications since 2020 Co-Authors: 3 Co-Authors with 2 Joint Publications 30 Co-Co-Authors Co-Authors 0 single-authored 2 Katz, Guy 1 Cohen, Elazar 1 Gottschlich, Justin Serials Fields 2 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 1 Publications have been cited 15 times in 15 Documents Cited by ▼ Year ▼ An abstraction-based framework for neural network verification. Zbl 1478.68154 Elboher, Yizhak Yisrael; Gottschlich, Justin; Katz, Guy 15 2020 An abstraction-based framework for neural network verification. Zbl 1478.68154 Elboher, Yizhak Yisrael; Gottschlich, Justin; Katz, Guy 15 2020 all cited Publications top 5 cited Publications all top 5 Cited by 55 Authors 3 Katz, Guy 2 Barrett, Clark W. 2 Chen, Guangke 2 Chen, Taolue 2 Huang, Chengchao 2 Li, Renjue 2 Song, Fu 2 Yang, Pengfei 2 Zhang, Lijun 2 Zhang, Yedi 2 Zhao, Zhe 1 Amir, Guy 1 Banerjee, Ansuman 1 Banerjee, Soham 1 Barbot, Benoît 1 Bollig, Benedikt 1 Buzhinsky, Igor 1 Chen, Liqian 1 Cohen, Elazar 1 Dai, Ting 1 Dill, David L. 1 Drachsler-Cohen, Dana 1 Elboher, Yizhak Yisrael 1 Fang, Wang 1 Finkel, Alain 1 Ghosh, Sumana 1 Guan, Ji 1 Haddad, Serge 1 Hoxha, Bardh 1 Johnson, Taylor T. 1 Julian, Kyle D. 1 Kabaha, Anan 1 Khmelnitsky, Igor 1 Kochenderfer, Mykel J. 1 Leucker, Martin 1 Liu, Jiangchao 1 Liu, Jiaxiang 1 Mohalik, Swarup K. 1 Neider, Daniel 1 Nerinovsky, Arseny 1 Prabhakar, Pavithra 1 Prokhorov, Danil V. 1 Roy, Rajarshi 1 Sun, Bing 1 Sun, Jun 1 Tran, Hoang-Dung 1 Tripakis, Stavros 1 Wang, Jingyi 1 Wu, Haoze 1 Xie, Xuan 1 Xue, Bai 1 Yamaguchi, Tomoya 1 Yang, Xiaodong 1 Ye, Lina 1 Ying, Mingsheng Cited in 3 Serials 1 Formal Aspects of Computing 1 Machine Learning 1 Formal Methods in System Design Cited in 5 Fields 15 Computer science (68-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Citations by Year