Model Checking and Artificial Intelligence - Peled, Doron A.; Kanade, Takeo; Wooldridge, Michael J.; Kittler, Josef; Wooldridge, Michael (Springer Berlin Heidelberg, 2009)
Keywords: Information Technology -- Artificial Intelligence