The papers included in this book focus on the following topics: AI assisted programming; digital humanities; approaches of using formal methods and ai in health care; models for trustworthy autonomous systems; responsible and trusted AI; safe autonomous vehicles; statistical model checking; verification and learning for assured autonomy; verification for neuro-symbolic artificial intelligence.
The papers included in this book focus on the following topics: AI assisted programming; digital humanities; approaches of using formal methods and ai in health care; models for trustworthy autonomous systems; responsible and trusted AI; safe autonomous vehicles; statistical model checking; verification and learning for assured autonomy; verification for neuro-symbolic artificial intelligence.
Bridging the Gap Between AI and Reality: Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, Rhodes, Greece, November 1-5, 2025, Selected Papers
Bridging the Gap Between AI and Reality: Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, Rhodes, Greece, November 1-5, 2025, Selected Papers
Paperback
Product Details
| ISBN-13: | 9783032071316 |
|---|---|
| Publisher: | Springer Nature Switzerland |
| Publication date: | 11/04/2025 |
| Series: | Lecture Notes in Computer Science , #16220 |
| Product dimensions: | 6.10(w) x 9.25(h) x (d) |