Text this: Model checking and artificial intelligence :