Placeholder text
Bridging the Gap Between AI and Reality
0 - Default Title
Description
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.
Product details
Binding:
Paperback
Number of Pages:
292
Release Date:
2025-10-02
Publication Date:
2025-10-02
Publisher:
Springer
Languages:
Original:
English
ISBN10:
3032013763
ISBN13:
9783032013767
GPSR Manufacturer Reference:
Weight:
446 g
Height:
155 cm
Width:
235 cm
Thickness:
16 cm
Currently sold out