Are Formal Methods Applicable To Machine Learning And Artificial Intelligence?

التفاصيل البيبلوغرافية
العنوان: Are Formal Methods Applicable To Machine Learning And Artificial Intelligence?
المؤلفون: Krichen, Moez, Mihoub, Alaeddine, Alzahrani, Mohammed Y., Adoni, Wilfried Yves Hamilton, Nahhal, Tarik
المصدر: 2022 2nd International Conference of Smart Systems and Emerging Technologies (SMARTTECH) SMARTTECH Smart Systems and Emerging Technologies (SMARTTECH), 2022 2nd International Conference of. :48-53 May, 2022
Relation: 2022 2nd International Conference of Smart Systems and Emerging Technologies (SMARTTECH)
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:9781665409735
DOI:10.1109/SMARTTECH54121.2022.00025