Title: Model Checking and Artificial Intelligence