Model checking and artificial intelligence [electronic resource] - Edelkamp, Stefan; Lomuscio, Alessio (Berlin Heidelberg, 2007)
http://dx.doi.org/10.1007/978-3-540-74128-2