Model checking has emerged as a cornerstone for ensuring the correctness, reliability and safety of multi-agent systems, in which autonomous entities interact, negotiate and fulfil complex tasks. By ...