Decentralized bisimulation for multiagent systems

Publication Type:
Conference Proceeding
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2015, 1 pp. 209 - 217
Issue Date:
Full metadata record
Copyright © 2015, International Foundation for Autonomous Agents and Multiagent Systems. The notion of bisimulation has been introduced as a powerful way to abstract from details of systems in the formal verification community. When applying to multiagent systems, classical bisimulations will allow one agent to make decisions based on full histories of others. Thus, as a general concept, classical bisimulations are unrealistically powerful for such systems. In this paper, we define a coarser notion of bisimulation under which an agent can only make realistic decisions based on information available to it. Our bisimulation still implies trace distribution equivalence of the systems, and moreover, it allows a compositional abstraction framework of reasoning about the systems.
Please use this identifier to cite or link to this item: