Book

Model Checking and Artificial Intelligence

by Doron A. Peled, Michael Wooldridge