AI Verification

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; The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification;