agent capturing allpossible behaviors of the multi-agent system prior to the verification phase. Thesecond problem concerns … the expressiveness of verification tools when modelingand verifying certain behaviors. Therefore, this paper tackles these … dynamically during the verification phase. This can relieve thestate space complexity that may occur as a result of the …