Multi-Agent Systems (MAS) programming and verification encompass the design, implementation and assurance of collections of autonomous software entities, or agents, that interact to achieve individual ...