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