Text this: Model Checking and Artificial Intelligence