Alessio Lomuscio,Stefan Edelkamp

• Model Checking and Artificial Intelligence