Multi-agent systems: modeling and Verification using hybrid automata
- Citation:
- Mohammed, A., and U. Frubach, "Multi-agent systems: modeling and Verification using hybrid automata ", In proceeding of the 7th International Workshop on Programming Multi-Agent Systems (ProMAS 2009) at the 8th International Joint conference on Autonomous Agents & Multi-Agent Systems (AAMAS 2009), Budapest, pp. 86-102, 2009.