"Specification and Verification of Multi-agent Systems" - читать интересную книгу автора (Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer)