"Model Checking and Artificial Intelligence, 4 conf" - читать интересную книгу автора (Stefan Edelkamp, Alessio Lomuscio)