Evaluating Dynamic Protocols for Open Agent Systems (Demo Paper)

We present a software system for evaluating ‘dynamic’ protocol specications for open multi-agent systems, that is, specications that are developed at design-time but may be modied at run-time by the protocol participants.

[1]  Alexander Artikis.  Dynamic protocols for open agent systems , 2009, AAMAS.

[2]  Jeremy V. Pitt,et al.  Dynamic Specifications in Norm-Governed Open Computational Societies , 2006, ESAW.

[3]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[4]  lawa Kanas,et al.  Metric Spaces , 2020, An Introduction to Functional Analysis.