Bridging the Gap Between AI and Reality
Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Selected Papers
وصف الناشر
This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024.
The papers included in this book extend the presentation in the AISoLA 2024 on-site proceedings. They focus on the following topics: AI-Assisted Programming; health care approaches using formal methods and AI; responsible and trusted AI: an interdisciplinary perspective; statistical model checking; and verification for neur-symbolic artificial intelligence.
النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٢٥
٣٠ سبتمبر
اللغة
EN
الإنجليزية
عدد الصفحات
٢٩٢
الناشر
Springer Nature Switzerland
البائع
Springer Nature B.V.
الحجم
٣٢٫٧
م.ب.
Tools and Algorithms for the Construction and Analysis of Systems
٢٠١٩
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
٢٠١٨
Let’s Talk AI
٢٠٢٥
Bridging the Gap Between AI and Reality
٢٠٢٥
Formal Methods for Industrial Critical Systems
٢٠٢٥
Bridging the Gap Between AI and Reality
٢٠٢٤