$65.99
Taxes may apply at checkout.
AI Verification
Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings
Scope of the Topics
The scope of the topics was broadly categorized into two groups.
Formal Methods for Artificial Intelligence
composed of: 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.
Artificial Intelligence for Formal Methods
composed of: AI methods for formal verification; AI methods for formal synthesis; AI methods for safe control; and AI methods for falsification.
