Title: Model Checking and Artificial Intelligence
Subjects: Logic design, Software engineering, Computer science, Artificial intelligence, Computer software, verification, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Programming Techniques, Artificial Intelligence (incl. Robotics)