المؤلفون: Reshef, Roie, Levy, Kfir Y.

مصطلحات موضوعية: Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/2407.12396

المؤلفون: Reshef, Roie, Kabaha, Anan, Seleznova, Olga, Drachsler-Cohen, Dana

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Cryptography and Security, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2310.20299

المؤلفون: Reshef, Roie^Aff10, Kabaha, Anan^Aff10, Seleznova, Olga^Aff10, Drachsler-Cohen, Dana^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Dimitrova, Rayna, editor^Aff7, Lahav, Ori, editor^Aff8, Wolff, Sebastian, editor^Aff9

المصدر: Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II. 14500:98-123