Formal Reasoning about Emergent Behaviours of Multi-Agent Systems.

Hong Zhu

Browse the full SEKE paper archive.