"Model Checking and Artificial Intelligence - MoChArt 2010" - читать интересную книгу автора (Ron van der Meyden, Jan Smaus)