Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System
Developing multiagent systems: The Gaia methodology