Model checking and artificial intelligence - Peled, Doron A., 1962-; Wooldridge, Mike (University of Patras, 2008)