Book

Model Checking and Artificial Intelligence

by Stefan Edelkamp, Alessio Lomuscio