Model Checking and Artificial Intelligence | lit.salon