… (making sure the runs of a system are in a desired class… specification, and model checking
(‘does this particular implementation verify’) as a technique to verify certain multi-agent system …

… the use of such formal methods for multi-agent systems. Specifically, this article … for multi-agent
systems, and considers how one might go about formally specifying and verifying systems …

… and their uses in multi-agent systems. We distinguish the main types of norms used in
multi-agent systems, and the ways in which the behaviour of a system can be modified through the …

… multi-agent systems as a new paradigm for computation or design, we believe that primarily
multi-agent systems … The metaphor of a multi-agent system seems to build on the intuition …

… known and effective verification technique, model checking, can be generalized to deal
with multi-agent systems. This paper explores a particular type of multi-agent system, in which …

… several attempts for the formal specification of multi-agent systems, which tend to describe
an … the works that we are seeing significant in the field of specification of multi-agent systems. …

… Multi-Agent System (MAS) specifications including a detailed environment model amenable
to verification. We introduce a formalisation for executable specifications of social systems, …

… of multi-agent systems. Finally, we illustrate our approach by verifying an agent based
specification for … We make use of the Z/EVES tools to analyse and reason about our specifications. …

… open multi-agent systems in which countably many agents may leave and join the system at
run… We define the verification problem and show it is undecidable. We isolate one decidable …

Specifying behaviors of multi-agent systems (MASs) is a demanding task, especially when
applied in safety-critical systems. In the latter systems, the specification of behaviors has to be …