Model Checking and Artificial Intelligence - Edelkamp, Stefan; Lomuscio, Alessio; Siekmann, Jörg (Springer Berlin Heidelberg, 2007)
Keywords: Information Technology -- Artificial Intelligence