Towards Verified Artificial Intelligence

Artificial intelligence (AI) is a term used for computational systems that attempt to mimic aspects of human intelligence (e.g., see [17]). Russell and Norvig [56] describe AI as the study of general principles of rational agents and components for constructing these agents. More broadly, the field of AI involves building intelligent entities that mimic'cognitive' functions we intuitively associate with human minds, such as'learning' and'problem solving.' We interpret the term AI broadly to include closely-related areas such as machine learning [43]. Systems that heavily use AI, henceforth referred to as AIbased systems, have had a significant impact in society in domains that include healthcare, transportation, social networking, e-commerce, education, etc.