Placeholder text
AI Verification
0 - Default Title
Description
The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal specifications for systems with AI components; formal methods for analyzing systems with AI components; formal synthesis methods of AI components; testing approaches for systems with AI components; statistical approaches for analyzing systems with AI components; and approaches for enhancing the explainability of systems with AI components. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification; AI methods for formalsynthesis; AI methods for safe control; and AI methods for falsification.
Product details
Binding:
Paperback
Number of Pages:
292
Release Date:
2025-10-28
Publication Date:
2025-10-28
Publisher:
Springer
Languages:
Original:
English
ISBN10:
3031999908
ISBN13:
9783031999901
GPSR Manufacturer Reference:
Weight:
500 g
Height:
155 cm
Width:
235 cm
Thickness:
15 cm
Currently sold out