
Formal verification of Artificial Intelligence
12 September 2024
Motivations Artificial Intelligence (AI) is now present in many of the services we use, and is becoming increasingly so, particularly in mission-critical systems such as autonomous driving, aviation and medical imaging. At the same time, it has been discovered in recent years that these AI-based systems are sensitive to certain disturbances in their inputs or … Formal verification of Artificial Intelligence