Model Checking Electronic Institutions

@inproceedings{HugetModelCE,
  title={Model Checking Electronic Institutions},
  author={Marc-Philippe Huget and Marc Esteva and Steve Phelps and Carles Sierra and Michael Wooldridge}
}
The design and development of open multiagent systems is one of the main areas in multiagent research. Human societies have successfully coped with a similar issue by creating institutions, which can broadly be understood as formal or semi-formal frameworks that provide commonly understood collections of rules within which people can interoperate. In ongoing work, we have been developing a framework called ISLANDER for the specification and developed of electronic institutions, within which… CONTINUE READING